/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.14 encoding time: 1.09 solving time: 2.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 1. distance 2.41 encoding time: 1.29 solving time: 2.81 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 2. distance 2.9 encoding time: 1.49 solving time: 4.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 3. distance 4.11 encoding time: 1.49 solving time: 6.39 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 4. distance 2.4 encoding time: 1.48 solving time: 2.64 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 5. distance 4.31 encoding time: 1.49 solving time: 8.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 6. distance 4.12 encoding time: 1.48 solving time: 6.65 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 7. distance 2.43 encoding time: 1.51 solving time: 2.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 8. distance 4.94 encoding time: 1.53 solving time: 5.91 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 9. distance 4.61 encoding time: 1.47 solving time: 8.23 LOG SEQUENCE: >> >> ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 10. distance 2.62 encoding time: 1.45 solving time: 5.23 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 11. distance 3.34 encoding time: 1.65 solving time: 8.89 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 12. distance 4.89 encoding time: 1.66 solving time: 9.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 13. distance 11.66 encoding time: 1.65 solving time: 1.07 LOG SEQUENCE: >> >> >> >> ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 ER Sepsis Tr >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 14. distance 3.81 encoding time: 1.66 solving time: 3.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 15. distance 3.72 encoding time: 1.66 solving time: 6.70 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 16. distance 4.11 encoding time: 1.66 solving time: 7.27 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 17. distance 4.08 encoding time: 1.65 solving time: 12.21 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 18. distance 4.19 encoding time: 1.65 solving time: 9.40 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 19. distance 3.35 encoding time: 1.65 solving time: 6.70 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 20. distance 4.34 encoding time: 1.66 solving time: 9.33 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 21. distance 3.29 encoding time: 1.66 solving time: 5.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 22. distance 3.61 encoding time: 1.66 solving time: 10.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 23. distance 4.55 encoding time: 1.66 solving time: 8.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 24. distance 2.45 encoding time: 1.67 solving time: 4.60 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 25. distance 3.86 encoding time: 1.66 solving time: 11.81 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 26. distance 4.14 encoding time: 1.74 solving time: 10.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 27. distance 4.75 encoding time: 1.88 solving time: 20.01 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 4.1 encoding time: 1.88 solving time: 13.96 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t700 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 29. distance 5.3 encoding time: 1.88 solving time: 15.66 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 30. distance 3.59 encoding time: 1.88 solving time: 7.77 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 31. distance 4.76 encoding time: 1.87 solving time: 30.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 32. distance 5.51 encoding time: 1.88 solving time: 14.39 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 33. distance 4.67 encoding time: 1.88 solving time: 25.78 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 34. distance 4.24 encoding time: 1.89 solving time: 19.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 35. distance 4.75 encoding time: 1.88 solving time: 19.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 36. distance 3.88 encoding time: 1.87 solving time: 10.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 37. distance 4.5 encoding time: 1.88 solving time: 22.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 38. (solver timeout) encoding time: 1.87 solving time: 60.00 39. distance 5.05 encoding time: 1.87 solving time: 38.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 40. distance 4.91 encoding time: 1.95 solving time: 16.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 41. distance 4.46 encoding time: 1.88 solving time: 20.32 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 42. (solver timeout) encoding time: 1.87 solving time: 60.00 43. distance 5.18 encoding time: 1.88 solving time: 37.72 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 44. (solver timeout) encoding time: 1.88 solving time: 60.00 45. distance 5.02 encoding time: 2.11 solving time: 12.69 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 46. distance 5.74 encoding time: 2.11 solving time: 48.16 LOG SEQUENCE: ER Registrat LacticAcid IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 47. (solver timeout) encoding time: 2.11 solving time: 60.00 48. distance 4.8 encoding time: 2.11 solving time: 42.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 49. distance 4.35 encoding time: 2.11 solving time: 47.31 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 50. distance 4.67 encoding time: 2.11 solving time: 27.64 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 51. distance 5.07 encoding time: 2.11 solving time: 28.03 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 52. distance 4.43 encoding time: 2.18 solving time: 42.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 53. distance 5.22 encoding time: 2.12 solving time: 21.44 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 54. (solver timeout) encoding time: 2.12 solving time: 60.00 55. (solver timeout) encoding time: 2.11 solving time: 60.00 56. distance 4.36 encoding time: 2.10 solving time: 17.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 57. distance 4.27 encoding time: 2.10 solving time: 20.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 58. distance 5.66 encoding time: 2.09 solving time: 12.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 59. distance 4.5 encoding time: 2.10 solving time: 15.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 60. distance 4.75 encoding time: 2.09 solving time: 9.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 61. distance 6.31 encoding time: 2.10 solving time: 32.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 62. distance 4.93 encoding time: 2.10 solving time: 30.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 63. distance 4.27 encoding time: 2.09 solving time: 18.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 64. distance 4.72 encoding time: 2.17 solving time: 27.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 65. (solver timeout) encoding time: 2.10 solving time: 60.00 66. distance 4.52 encoding time: 2.10 solving time: 26.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 67. (solver timeout) encoding time: 2.10 solving time: 60.00 68. distance 4.67 encoding time: 2.10 solving time: 23.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 69. distance 5.79 encoding time: 2.09 solving time: 36.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 70. (solver timeout) encoding time: 2.09 solving time: 60.00 71. distance 4.23 encoding time: 2.10 solving time: 13.65 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 72. distance 4.93 encoding time: 2.10 solving time: 29.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 73. distance 5.17 encoding time: 2.10 solving time: 35.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 74. distance 4.26 encoding time: 2.09 solving time: 46.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 75. distance 5.12 encoding time: 2.10 solving time: 17.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 76. distance 4.16 encoding time: 2.17 solving time: 22.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t13 >> ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 77. distance 4.18 encoding time: 2.11 solving time: 11.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 78. distance 3.91 encoding time: 2.11 solving time: 22.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 79. distance 4.61 encoding time: 2.10 solving time: 21.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 80. distance 6.2 encoding time: 2.10 solving time: 53.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 81. distance 5.58 encoding time: 2.10 solving time: 55.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 82. (solver timeout) encoding time: 2.10 solving time: 60.00 83. distance 3.95 encoding time: 2.10 solving time: 25.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 84. distance 5.01 encoding time: 2.15 solving time: 27.55 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 85. (solver timeout) encoding time: 2.10 solving time: 60.00 86. distance 4.18 encoding time: 2.09 solving time: 16.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> ER Sepsis Tr t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 87. (solver timeout) encoding time: 2.10 solving time: 60.00 88. (solver timeout) encoding time: 2.10 solving time: 60.00 89. distance 4.85 encoding time: 2.10 solving time: 21.77 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 90. distance 4.19 encoding time: 2.09 solving time: 13.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 91. distance 4.64 encoding time: 2.09 solving time: 29.23 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 92. (solver timeout) encoding time: 2.09 solving time: 60.00 93. distance 4.19 encoding time: 2.09 solving time: 19.50 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 encoding time: total 179.44 avg 1.91 median 2.11 solving time: total 2356.33 avg 25.07 median 60.00 timeouts: 14 distance 4.11: 2 distance 3.81: 1 distance 5.01: 1 distance 5.22: 1 distance 3.95: 1 distance 4.43: 1 distance 4.61: 2 distance 4.91: 1 distance 3.34: 1 distance 2.41: 1 distance 4.35: 1 distance 2.62: 1 distance 3.88: 1 distance 3.14: 1 distance 4.16: 1 distance 11.66: 1 distance 4.19: 3 distance 3.91: 1 distance 5.07: 1 distance 4.8: 1 distance 4.72: 1 distance 4.85: 1 distance 4.76: 1 distance 4.67: 3 distance 4.94: 1 distance 4.55: 1 distance 4.14: 1 distance 2.4: 1 distance 4.64: 1 distance 5.17: 1 distance 3.72: 1 distance 4.31: 1 distance 5.3: 1 distance 3.29: 1 distance 2.43: 1 distance 4.23: 1 distance 3.35: 1 distance 6.31: 1 distance 5.51: 1 distance 4.08: 1 distance 4.46: 1 distance 5.66: 1 distance 5.58: 1 distance 3.86: 1 distance 5.79: 1 distance 4.18: 2 distance 5.02: 1 distance 5.74: 1 distance 3.59: 1 distance 4.26: 1 distance 4.24: 1 distance 5.05: 1 distance 5.18: 1 distance 4.12: 1 distance 4.89: 1 distance 2.9: 1 distance 4.27: 2 distance 3.61: 1 distance 4.5: 2 distance 4.36: 1 distance 4.52: 1 distance 4.1: 1 distance 6.2: 1 distance 5.12: 1 distance 2.45: 1 distance 4.34: 1 distance 4.75: 3 distance 4.93: 2