/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 0 encoding time: 0.05 solving time: 0.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 1. distance 0 encoding time: 0.06 solving time: 0.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 2. distance 0 encoding time: 0.07 solving time: 0.06 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP t703 Leucocytes ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 3. distance 0 encoding time: 0.07 solving time: 0.05 LOG SEQUENCE: ER Registrat CRP ER Triage Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP t703 ER Triage Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 4. distance 0 encoding time: 0.07 solving time: 0.22 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 t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 5. distance 0 encoding time: 0.07 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP t703 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 6. distance 0 encoding time: 0.07 solving time: 0.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 7. distance 0 encoding time: 0.07 solving time: 0.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t700 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 8. distance 0 encoding time: 0.07 solving time: 0.07 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 Leucocytes t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 9. distance 0 encoding time: 0.07 solving time: 0.21 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 10. distance 2 encoding time: 0.07 solving time: 1.78 LOG SEQUENCE: >> Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t13 >> CRP ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 11. distance 1 encoding time: 0.08 solving time: 1.33 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 CRP t703 Leucocytes >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 12. distance 0 encoding time: 0.08 solving time: 0.32 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes t803 CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 13. distance 1 encoding time: 0.08 solving time: 2.13 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr IV Antibioti CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 Leucocytes ER Triage >> t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 14. distance 0 encoding time: 0.08 solving time: 0.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 15. distance 0 encoding time: 0.08 solving time: 0.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 16. distance 0 encoding time: 0.08 solving time: 0.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 17. distance 0 encoding time: 0.08 solving time: 0.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Admission NC t2 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 18. distance 0 encoding time: 0.08 solving time: 0.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 Leucocytes t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 19. distance 1 encoding time: 0.08 solving time: 1.33 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr Leucocytes ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage CRP ER Sepsis Tr >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 20. distance 0 encoding time: 0.08 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 21. distance 0 encoding time: 0.08 solving time: 0.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 22. distance 0 encoding time: 0.08 solving time: 0.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 LacticAcid Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 23. distance 0 encoding time: 0.08 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr Leucocytes t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 24. distance 0 encoding time: 0.08 solving time: 0.20 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes LacticAcid ER Triage t803 ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 25. distance 0 encoding time: 0.08 solving time: 0.16 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t803 LacticAcid CRP t703 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 26. distance 0 encoding time: 0.08 solving time: 0.32 LOG SEQUENCE: ER Registrat Leucocytes Leucocytes ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t13 Leucocytes t803 ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 27. distance 1 encoding time: 0.09 solving time: 7.51 LOG SEQUENCE: ER Registrat CRP CRP Leucocytes ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP >> t703 Leucocytes ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 28. distance 0 encoding time: 0.10 solving time: 0.55 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP Leucocytes t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 29. distance 1 encoding time: 0.12 solving time: 9.41 LOG SEQUENCE: ER Registrat LacticAcid CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid t100 CRP t703 Leucocytes >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 30. distance 0 encoding time: 0.10 solving time: 1.33 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr CRP Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr CRP t13 t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 31. distance 1 encoding time: 0.09 solving time: 2.60 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> Leucocytes ER Sepsis Tr t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 32. distance 1 encoding time: 0.09 solving time: 12.00 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr t703 t6 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 33. distance 1 encoding time: 0.09 solving time: 5.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 t6 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 34. distance 0 encoding time: 0.09 solving time: 0.24 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes ER Sepsis Tr CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage LacticAcid t100 Leucocytes ER Sepsis Tr t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 35. distance 0 encoding time: 0.09 solving time: 0.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Leucocytes Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Admission NC t2 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 36. distance 0 encoding time: 0.09 solving time: 1.76 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t700 Leucocytes t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 37. distance 0 encoding time: 0.09 solving time: 1.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 t803 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 38. distance 1 encoding time: 0.09 solving time: 3.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t800 >> IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 39. distance 1 encoding time: 0.09 solving time: 5.92 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 >> CRP t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 40. distance 1 encoding time: 0.09 solving time: 3.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 41. distance 1 encoding time: 0.10 solving time: 3.05 LOG SEQUENCE: ER Registrat LacticAcid ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid ER Triage ER Sepsis Tr CRP t703 >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 42. distance 1 encoding time: 0.10 solving time: 4.62 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr >> t5 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 43. distance 1 encoding time: 0.10 solving time: 2.37 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes ER Triage IV Antibioti CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid t100 Leucocytes >> ER Triage CRP timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 44. distance 1 encoding time: 0.10 solving time: 2.61 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 45. distance 1 encoding time: 0.11 solving time: 15.92 LOG SEQUENCE: ER Registrat CRP Leucocytes LacticAcid ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP t13 >> Leucocytes ER Triage ER Sepsis Tr t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 46. distance 1 encoding time: 0.11 solving time: 5.46 LOG SEQUENCE: ER Registrat CRP ER Triage LacticAcid Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP ER Triage t800 >> LacticAcid t703 t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 47. distance 1 encoding time: 0.11 solving time: 20.05 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr Admission NC Release A IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 CRP Leucocytes ER Triage ER Sepsis Tr t703 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 48. distance 1 encoding time: 0.11 solving time: 8.92 LOG SEQUENCE: ER Registrat ER Triage LacticAcid ER Sepsis Tr CRP Leucocytes IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr CRP t5 Leucocytes t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 49. distance 1 encoding time: 0.11 solving time: 4.17 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr t803 >> t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 50. distance 0 encoding time: 0.11 solving time: 0.50 LOG SEQUENCE: ER Registrat ER Triage CRP LacticAcid ER Sepsis Tr Leucocytes Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP LacticAcid ER Sepsis Tr t703 t100 Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 51. distance 1 encoding time: 0.11 solving time: 6.23 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti IV Liquid LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP >> t800 t703 ER Triage ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 52. distance 1 encoding time: 0.11 solving time: 24.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Release A Return ER Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t800 t13 t703 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 53. distance 1 encoding time: 0.11 solving time: 10.48 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 Leucocytes t13 >> CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 54. distance 0 encoding time: 0.12 solving time: 2.70 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t13 t6 Leucocytes Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 55. distance 1 encoding time: 0.11 solving time: 8.29 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP IV Antibioti LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid CRP >> IV Antibioti timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 56. distance 0 encoding time: 0.11 solving time: 1.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 Leucocytes t6 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 57. distance 1 encoding time: 0.11 solving time: 51.50 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr LacticAcid Leucocytes Admission NC IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr LacticAcid Leucocytes t803 >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 58. distance 1 encoding time: 0.11 solving time: 18.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t5 CRP IV Liquid LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 59. distance 1 encoding time: 0.11 solving time: 9.75 LOG SEQUENCE: ER Registrat Leucocytes ER Triage CRP ER Sepsis Tr LacticAcid IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t700 >> ER Triage ER Sepsis Tr t5 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 60. distance 1 encoding time: 0.11 solving time: 10.79 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Antibioti LacticAcid IV Liquid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 CRP IV Antibioti t800 >> timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 61. distance 1 encoding time: 0.11 solving time: 12.93 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Liquid LacticAcid IV Antibioti Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t800 CRP IV Liquid >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 62. distance 1 encoding time: 0.11 solving time: 7.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr t5 IV Liquid CRP >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 63. distance 1 encoding time: 0.11 solving time: 22.69 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Antibioti LacticAcid IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> Leucocytes t700 ER Sepsis Tr t5 IV Antibioti timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 64. distance 1 encoding time: 0.11 solving time: 13.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Antibioti LacticAcid IV Liquid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 CRP IV Antibioti t703 >> timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 65. distance 1 encoding time: 0.11 solving time: 19.26 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr LacticAcid IV Antibioti CRP IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr >> t5 IV Antibioti CRP timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 66. distance 1 encoding time: 0.11 solving time: 16.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes IV Antibioti LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid Leucocytes IV Antibioti >> timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 67. distance 1 encoding time: 0.11 solving time: 29.22 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr IV Liquid IV Antibioti LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr t5 t800 IV Liquid IV Antibioti timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 68. distance 1 encoding time: 0.11 solving time: 14.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Liquid IV Antibioti CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid t803 t5 >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 69. distance 1 encoding time: 0.11 solving time: 41.17 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Antibioti IV Liquid LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr t5 IV Antibioti IV Liquid >> timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 70. distance 1 encoding time: 0.11 solving time: 11.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP >> t13 t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 71. distance 1 encoding time: 0.11 solving time: 5.27 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes CRP IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t700 >> IV Liquid Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 72. distance 1 encoding time: 0.11 solving time: 13.30 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr LacticAcid IV Antibioti IV Liquid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr t5 LacticAcid IV Antibioti >> timeAntibiot 0 0 timeLacticAc 0 0 timeTriage 0 0 73. distance 1 encoding time: 0.11 solving time: 5.29 LOG SEQUENCE: ER Registrat LacticAcid ER Triage CRP ER Sepsis Tr Leucocytes IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid t100 >> ER Triage t700 ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 74. distance 1 encoding time: 0.11 solving time: 5.95 LOG SEQUENCE: ER Registrat ER Triage LacticAcid ER Sepsis Tr Leucocytes CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage LacticAcid ER Sepsis Tr >> CRP t703 t5 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 75. distance 0 encoding time: 0.11 solving time: 7.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP CRP Admission NC Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr t6 CRP CRP Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 76. distance 0 encoding time: 0.11 solving time: 4.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC CRP Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes Admission NC t803 t2 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 77. distance 1 encoding time: 0.11 solving time: 13.24 LOG SEQUENCE: ER Registrat ER Triage Leucocytes Leucocytes ER Sepsis Tr CRP CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes Leucocytes t803 ER Sepsis Tr t6 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 78. distance 0 encoding time: 0.11 solving time: 1.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC LacticAcid Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes CRP Admission NC LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 79. distance 0 encoding time: 0.11 solving time: 1.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes t100 CRP t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 80. distance 1 encoding time: 0.11 solving time: 14.17 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr LacticAcid IV Antibioti IV Liquid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr t5 LacticAcid IV Antibioti IV Liquid timeAntibiot 0 0 timeLacticAc 0 0 timeTriage 0 0 81. distance 1 encoding time: 0.11 solving time: 19.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti IV Liquid LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 Leucocytes IV Antibioti >> IV Liquid timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 82. distance 1 encoding time: 0.11 solving time: 2.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 LacticAcid >> Leucocytes t5 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 83. distance 2 encoding time: 0.11 solving time: 417.35 LOG SEQUENCE: ER Registrat LacticAcid ER Triage IV Liquid ER Sepsis Tr CRP IV Antibioti Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid t100 >> ER Triage ER Sepsis Tr >> t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 84. distance 1 encoding time: 0.11 solving time: 9.68 LOG SEQUENCE: ER Registrat Leucocytes ER Triage LacticAcid ER Sepsis Tr CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage LacticAcid ER Sepsis Tr t5 CRP t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 85. distance 1 encoding time: 0.11 solving time: 4.11 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr Leucocytes LacticAcid IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr t5 Leucocytes LacticAcid t700 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 86. distance 0 encoding time: 0.11 solving time: 4.46 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr t13 t6 Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 87. distance 1 encoding time: 0.11 solving time: 4.90 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid LacticAcid CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr t5 IV Liquid LacticAcid CRP timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 88. distance 1 encoding time: 0.11 solving time: 8.24 LOG SEQUENCE: ER Registrat ER Triage LacticAcid ER Sepsis Tr Leucocytes IV Liquid IV Antibioti CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 LacticAcid t100 ER Sepsis Tr t5 >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 89. distance 1 encoding time: 0.12 solving time: 20.89 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr IV Liquid Leucocytes IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr t5 IV Liquid Leucocytes IV Antibioti timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 90. distance 2 encoding time: 0.11 solving time: 26.96 LOG SEQUENCE: ER Registrat Leucocytes CRP IV Liquid ER Triage ER Sepsis Tr LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes CRP >> ER Triage t703 ER Sepsis Tr >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 91. distance 1 encoding time: 0.11 solving time: 7.30 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr LacticAcid CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes t803 t700 >> ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 92. distance 2 encoding time: 0.11 solving time: 607.16 LOG SEQUENCE: IV Liquid ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat CRP Leucocytes t703 t803 ER Triage >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 93. distance 1 encoding time: 0.11 solving time: 75.20 LOG SEQUENCE: ER Registrat Leucocytes IV Antibioti CRP ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes >> t13 CRP ER Triage t703 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 encoding time: total 9.16 avg 0.10 median 0.11 solving time: total 1743.74 avg 18.55 median 20.05 distance 1: 53 distance 0: 37 distance 2: 4