/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 4.08 encoding time: 0.20 solving time: 0.08 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 1. distance 5.04 encoding time: 0.30 solving time: 0.12 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 2. distance 4.52 encoding time: 0.29 solving time: 0.13 LOG SEQUENCE: >> 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.30 solving time: 0.08 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 4. distance 3.42 encoding time: 0.30 solving time: 0.12 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 5. distance 4.23 encoding time: 0.29 solving time: 0.20 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 6. distance 4.78 encoding time: 0.30 solving time: 0.13 LOG SEQUENCE: NEW SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 7. distance 4.61 encoding time: 0.39 solving time: 0.27 LOG SEQUENCE: >> CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 8. distance 4.62 encoding time: 0.40 solving time: 0.34 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 9. distance 4.0 encoding time: 0.40 solving time: 0.16 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.09 encoding time: 0.38 solving time: 0.41 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 11. distance 4.72 encoding time: 0.40 solving time: 0.21 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.40 solving time: 0.49 LOG SEQUENCE: >> CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality K isClosed 0.0 13. distance 4.46 encoding time: 0.41 solving time: 0.47 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 14. distance 4.96 encoding time: 0.41 solving time: 0.24 LOG SEQUENCE: >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 15. distance 5.01 encoding time: 0.53 solving time: 0.45 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 16. distance 5.74 encoding time: 0.40 solving time: 0.29 LOG SEQUENCE: NEW MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 17. distance 5.81 encoding time: 0.41 solving time: 0.44 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 18. distance 4.69 encoding time: 0.41 solving time: 0.33 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 19. distance 4.13 encoding time: 0.40 solving time: 0.21 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 20. distance 4.54 encoding time: 0.40 solving time: 0.26 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality F isClosed 0.0 21. distance 4.82 encoding time: 0.38 solving time: 0.25 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 22. distance 4.45 encoding time: 0.42 solving time: 0.23 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 23. distance 5.29 encoding time: 0.52 solving time: 1.32 LOG SEQUENCE: >> CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 24. distance 5.33 encoding time: 0.51 solving time: 0.74 LOG SEQUENCE: >> CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 25. distance 5.01 encoding time: 0.51 solving time: 1.58 LOG SEQUENCE: >> CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 26. distance 3.48 encoding time: 0.52 solving time: 0.57 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 27. distance 4.65 encoding time: 0.51 solving time: 0.74 LOG SEQUENCE: >> CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 28. distance 5.71 encoding time: 0.53 solving time: 0.95 LOG SEQUENCE: NEW CHANGE DIAGN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 caseType B closeCode B speciality K isClosed 0.0 29. distance 5.05 encoding time: 0.53 solving time: 0.73 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 30. distance 4.86 encoding time: 0.53 solving time: 1.08 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 31. distance 5.51 encoding time: 0.55 solving time: 1.34 LOG SEQUENCE: CODE OK >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 caseType H closeCode B speciality B isClosed 0.0 32. distance 5.75 encoding time: 0.52 solving time: 0.61 LOG SEQUENCE: >> MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 33. distance 4.41 encoding time: 0.54 solving time: 0.86 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 34. distance 5.01 encoding time: 0.54 solving time: 1.25 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 35. distance 4.8 encoding time: 0.54 solving time: 1.25 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 36. distance 5.14 encoding time: 0.55 solving time: 0.91 LOG SEQUENCE: NEW RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 37. distance 6.96 encoding time: 0.54 solving time: 0.83 LOG SEQUENCE: >> RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 38. distance 4.51 encoding time: 0.52 solving time: 0.61 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 39. distance 5.85 encoding time: 0.54 solving time: 1.34 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 40. distance 6.09 encoding time: 0.55 solving time: 0.84 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType C closeCode B speciality F isClosed 0.0 41. distance 6.47 encoding time: 0.50 solving time: 0.30 LOG SEQUENCE: NEW MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 42. distance 4.97 encoding time: 0.53 solving time: 0.61 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 43. distance 4.72 encoding time: 0.51 solving time: 0.61 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality B isClosed 0.0 44. distance 5.18 encoding time: 0.51 solving time: 1.12 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType C closeCode B speciality K isClosed 0.0 45. distance 4.18 encoding time: 0.49 solving time: 0.42 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 46. distance 5.62 encoding time: 0.63 solving time: 7.78 LOG SEQUENCE: >> CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 47. distance 5.74 encoding time: 0.65 solving time: 6.97 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 48. distance 5.99 encoding time: 0.66 solving time: 5.04 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 49. distance 5.57 encoding time: 0.66 solving time: 5.94 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 50. distance 5.79 encoding time: 0.72 solving time: 8.07 LOG SEQUENCE: >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality B isClosed 0.0 51. distance 7.44 encoding time: 0.66 solving time: 2.17 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 52. distance 5.4 encoding time: 0.67 solving time: 2.30 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 6.35 encoding time: 0.66 solving time: 4.46 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 54. distance 7.64 encoding time: 0.68 solving time: 1.87 LOG SEQUENCE: NEW RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType C closeCode B speciality K isClosed 0.0 55. distance 5.55 encoding time: 0.66 solving time: 1.86 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType C closeCode B speciality K isClosed 0.0 56. distance 5.46 encoding time: 0.68 solving time: 1.39 LOG SEQUENCE: NEW CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 57. distance 7.06 encoding time: 0.69 solving time: 4.96 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType C closeCode B speciality K isClosed 0.0 58. distance 6.91 encoding time: 0.68 solving time: 2.64 LOG SEQUENCE: >> EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 59. distance 6.64 encoding time: 0.68 solving time: 1.89 LOG SEQUENCE: >> RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 60. distance 5.91 encoding time: 0.68 solving time: 2.02 LOG SEQUENCE: NEW BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 61. distance 6.48 encoding time: 0.68 solving time: 1.77 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 62. distance 5.85 encoding time: 0.69 solving time: 2.71 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 63. distance 5.6 encoding time: 0.68 solving time: 1.13 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 64. distance 6.18 encoding time: 0.66 solving time: 0.68 LOG SEQUENCE: NEW RELEASE MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 65. distance 6.59 encoding time: 0.68 solving time: 2.71 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 66. distance 4.94 encoding time: 0.66 solving time: 2.47 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 67. distance 5.43 encoding time: 0.66 solving time: 2.22 LOG SEQUENCE: NEW MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 68. distance 6.97 encoding time: 0.68 solving time: 1.58 LOG SEQUENCE: >> FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 69. distance 7.75 encoding time: 0.66 solving time: 1.40 LOG SEQUENCE: NEW FIN RELEASE MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 70. distance 6.15 encoding time: 0.69 solving time: 4.79 LOG SEQUENCE: >> FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 t4 caseType H closeCode B speciality F isClosed 0.0 71. distance 5.55 encoding time: 0.66 solving time: 5.29 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType C closeCode B speciality K isClosed 0.0 72. distance 5.27 encoding time: 0.67 solving time: 5.41 LOG SEQUENCE: >> CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 caseType B closeCode B speciality K isClosed 0.0 73. distance 5.27 encoding time: 0.69 solving time: 3.89 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 74. distance 6.96 encoding time: 0.68 solving time: 2.65 LOG SEQUENCE: >> FIN REOPEN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> caseType K closeCode B speciality B isClosed 0.0 75. distance 5.84 encoding time: 0.67 solving time: 6.54 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 76. distance 6.12 encoding time: 0.69 solving time: 1.44 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality B isClosed 0.0 77. distance 4.64 encoding time: 0.59 solving time: 1.01 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 78. distance 5.51 encoding time: 0.62 solving time: 0.56 LOG SEQUENCE: NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 79. distance 6.35 encoding time: 0.61 solving time: 1.11 LOG SEQUENCE: NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 80. distance 6.05 encoding time: 0.59 solving time: 0.77 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW caseType K closeCode B speciality K isClosed 0.0 81. distance 6.98 encoding time: 0.68 solving time: 2.65 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 82. distance 5.27 encoding time: 0.69 solving time: 1.49 LOG SEQUENCE: NEW SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 83. distance 6.0 encoding time: 0.74 solving time: 20.75 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality B isClosed 0.0 84. distance 5.43 encoding time: 0.78 solving time: 19.21 LOG SEQUENCE: NEW CHANGE DIAGN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 85. distance 7.22 encoding time: 0.79 solving time: 1.96 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> caseType B closeCode B speciality K isClosed 0.0 86. distance 5.38 encoding time: 0.78 solving time: 5.30 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 87. distance 4.73 encoding time: 0.80 solving time: 21.08 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 88. distance 7.17 encoding time: 0.79 solving time: 31.94 LOG SEQUENCE: NEW CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 89. distance 5.9 encoding time: 0.82 solving time: 23.22 LOG SEQUENCE: >> CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 caseType B closeCode B speciality K isClosed 0.0 90. distance 6.86 encoding time: 0.80 solving time: 10.54 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 91. distance 7.24 encoding time: 0.80 solving time: 7.90 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 92. distance 5.22 encoding time: 0.81 solving time: 11.05 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 93. distance 7.65 encoding time: 0.89 solving time: 9.80 LOG SEQUENCE: >> RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 94. distance 13.16 encoding time: 0.88 solving time: 0.25 LOG SEQUENCE: NEW >> >> >> >> CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN t10 >> caseType B closeCode B speciality B isClosed 0.0 95. distance 4.74 encoding time: 0.87 solving time: 4.14 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 96. distance 5.58 encoding time: 0.81 solving time: 7.51 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 97. distance 5.91 encoding time: 0.89 solving time: 21.78 LOG SEQUENCE: >> 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 98. distance 7.35 encoding time: 0.81 solving time: 3.89 LOG SEQUENCE: >> CHANGE DIAGN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 99. distance 7.17 encoding time: 0.78 solving time: 8.33 LOG SEQUENCE: RELEASE >> caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW caseType H closeCode B speciality K isClosed 0.0 100. distance 7.01 encoding time: 0.82 solving time: 15.18 LOG SEQUENCE: >> 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 101. distance 5.09 encoding time: 0.80 solving time: 8.78 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 102. distance 7.95 encoding time: 0.81 solving time: 9.56 LOG SEQUENCE: NEW SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType C closeCode B speciality K isClosed 0.0 103. distance 7.71 encoding time: 0.81 solving time: 1.77 LOG SEQUENCE: >> CHANGE END FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END >> caseType H closeCode B speciality F isClosed 0.0 104. distance 8.06 encoding time: 0.83 solving time: 9.05 LOG SEQUENCE: CODE OK >> BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> caseType K closeCode B speciality K isClosed 0.0 105. distance 6.78 encoding time: 0.83 solving time: 10.17 LOG SEQUENCE: >> FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType C closeCode B speciality K isClosed 0.0 106. distance 6.55 encoding time: 0.83 solving time: 6.99 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType C closeCode B speciality K isClosed 0.0 107. distance 7.1 encoding time: 0.83 solving time: 10.16 LOG SEQUENCE: NEW FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 108. distance 6.6 encoding time: 0.80 solving time: 2.93 LOG SEQUENCE: NEW RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 109. distance 7.64 encoding time: 0.78 solving time: 4.24 LOG SEQUENCE: NEW BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 110. distance 8.21 encoding time: 0.83 solving time: 4.87 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 6.75 encoding time: 0.83 solving time: 8.51 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 112. distance 6.81 encoding time: 0.83 solving time: 1.59 LOG SEQUENCE: NEW FIN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType ? closeCode B speciality K isClosed 0.0 113. distance 5.88 encoding time: 0.84 solving time: 6.42 LOG SEQUENCE: NEW RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 114. distance 6.97 encoding time: 0.83 solving time: 8.96 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType C closeCode B speciality K isClosed 0.0 115. distance 7.63 encoding time: 0.83 solving time: 4.00 LOG SEQUENCE: NEW CODE NOK CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 116. distance 5.85 encoding time: 0.83 solving time: 18.73 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 117. distance 7.3 encoding time: 0.84 solving time: 26.07 LOG SEQUENCE: >> FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 118. distance 7.07 encoding time: 0.81 solving time: 5.14 LOG SEQUENCE: >> RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 119. distance 7.04 encoding time: 0.85 solving time: 9.77 LOG SEQUENCE: NEW CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 120. distance 6.68 encoding time: 0.92 solving time: 7.68 LOG SEQUENCE: NEW FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 121. distance 6.19 encoding time: 0.83 solving time: 4.98 LOG SEQUENCE: NEW CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 122. distance 6.98 encoding time: 0.84 solving time: 5.98 LOG SEQUENCE: NEW RELEASE SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType K closeCode B speciality K isClosed 0.0 123. distance 6.41 encoding time: 0.83 solving time: 7.88 LOG SEQUENCE: NEW SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 124. distance 5.62 encoding time: 0.83 solving time: 7.46 LOG SEQUENCE: NEW BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 125. distance 8.41 encoding time: 0.83 solving time: 5.58 LOG SEQUENCE: >> CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType C closeCode B speciality K isClosed 0.0 126. distance 5.93 encoding time: 0.84 solving time: 30.10 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType F closeCode B speciality B isClosed 0.0 127. distance 8.49 encoding time: 0.82 solving time: 3.30 LOG SEQUENCE: NEW FIN RELEASE FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType ? closeCode B speciality K isClosed 0.0 128. distance 7.1 encoding time: 0.82 solving time: 8.49 LOG SEQUENCE: RELEASE RELEASE >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 caseType H closeCode B speciality B isClosed 0.0 129. distance 5.66 encoding time: 0.76 solving time: 4.40 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 130. distance 7.38 encoding time: 0.79 solving time: 7.42 LOG SEQUENCE: >> BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 131. distance 6.98 encoding time: 0.78 solving time: 2.65 LOG SEQUENCE: NEW FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 132. distance 7.72 encoding time: 0.76 solving time: 2.08 LOG SEQUENCE: FIN RELEASE MANUAL >> caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> NEW caseType C closeCode B speciality K isClosed 0.0 133. distance 6.81 encoding time: 0.79 solving time: 19.19 LOG SEQUENCE: >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 134. distance 5.81 encoding time: 0.79 solving time: 16.53 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality B isClosed 0.0 135. distance 4.81 encoding time: 0.81 solving time: 5.95 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 136. distance 6.8 encoding time: 0.82 solving time: 8.94 LOG SEQUENCE: NEW FIN RELEASE REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 caseType H closeCode B speciality F isClosed 0.0 137. distance 7.26 encoding time: 0.81 solving time: 9.26 LOG SEQUENCE: >> FIN REOPEN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType H closeCode B speciality B isClosed 0.0 138. distance 5.56 encoding time: 0.82 solving time: 22.49 LOG SEQUENCE: NEW FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType C closeCode B speciality B isClosed 0.0 139. distance 7.31 encoding time: 0.79 solving time: 13.53 LOG SEQUENCE: RELEASE >> caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW caseType C closeCode B speciality K isClosed 0.0 140. distance 5.89 encoding time: 0.78 solving time: 10.02 LOG SEQUENCE: >> caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 141. distance 6.5 encoding time: 0.67 solving time: 4.57 LOG SEQUENCE: >> JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 142. distance 5.66 encoding time: 0.74 solving time: 4.13 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 143. distance 5.69 encoding time: 0.71 solving time: 4.21 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 144. distance 5.64 encoding time: 0.68 solving time: 1.50 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType C closeCode B speciality K isClosed 0.0 145. distance 5.05 encoding time: 0.75 solving time: 3.82 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 146. (solver timeout) encoding time: 0.89 solving time: 60.00 147. (solver timeout) encoding time: 0.91 solving time: 60.00 148. (solver timeout) encoding time: 0.90 solving time: 60.00 149. distance 8.14 encoding time: 0.90 solving time: 54.16 LOG SEQUENCE: >> CHANGE DIAGN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 150. (solver timeout) encoding time: 0.90 solving time: 60.00 151. (solver timeout) encoding time: 0.92 solving time: 60.00 152. (solver timeout) encoding time: 0.91 solving time: 60.00 153. (solver timeout) encoding time: 0.93 solving time: 60.00 154. distance 8.19 encoding time: 0.93 solving time: 20.03 LOG SEQUENCE: >> CHANGE DIAGN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 155. distance 8.54 encoding time: 0.93 solving time: 58.67 LOG SEQUENCE: NEW CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 caseType B closeCode B speciality F isClosed 0.0 156. distance 8.14 encoding time: 0.90 solving time: 9.73 LOG SEQUENCE: NEW FIN MANUAL CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 157. distance 7.67 encoding time: 0.94 solving time: 42.20 LOG SEQUENCE: >> CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 158. distance 6.19 encoding time: 0.93 solving time: 4.93 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 159. (solver timeout) encoding time: 0.93 solving time: 60.00 160. (solver timeout) encoding time: 1.93 solving time: 60.00 161. distance 5.15 encoding time: 1.90 solving time: 27.39 LOG SEQUENCE: NEW BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 162. (solver timeout) encoding time: 1.91 solving time: 60.00 163. (solver timeout) encoding time: 1.89 solving time: 60.00 164. (solver timeout) encoding time: 1.95 solving time: 60.00 165. distance 6.72 encoding time: 1.92 solving time: 46.88 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 166. (solver timeout) encoding time: 1.93 solving time: 60.00 167. (solver timeout) encoding time: 1.93 solving time: 60.00 168. (solver timeout) encoding time: 2.06 solving time: 60.00 169. (solver timeout) encoding time: 1.92 solving time: 60.00 170. distance 6.73 encoding time: 1.92 solving time: 50.39 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 171. distance 7.92 encoding time: 0.94 solving time: 39.53 LOG SEQUENCE: NEW FIN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 172. distance 8.09 encoding time: 0.87 solving time: 46.52 LOG SEQUENCE: >> FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType C closeCode B speciality K isClosed 0.0 173. distance 8.35 encoding time: 0.94 solving time: 9.82 LOG SEQUENCE: NEW RELEASE STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 174. (solver timeout) encoding time: 0.96 solving time: 60.00 175. (solver timeout) encoding time: 0.97 solving time: 60.00 176. distance 8.0 encoding time: 1.91 solving time: 5.95 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 177. (solver timeout) encoding time: 1.91 solving time: 60.00 178. (solver timeout) encoding time: 1.98 solving time: 60.00