/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 t13 t700 timeAntibiot 0 timeLacticAc 0 timeTriage 0 1. distance 0 encoding time: 0.06 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t13 ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 2. distance 0 encoding time: 0.06 solving time: 0.07 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 CRP t703 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 3. distance 0 encoding time: 0.06 solving time: 0.09 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 4. distance 0 encoding time: 0.06 solving time: 0.06 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 t700 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 5. distance 0 encoding time: 0.07 solving time: 0.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 6. distance 0 encoding time: 0.07 solving time: 0.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 7. distance 0 encoding time: 0.07 solving time: 0.19 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 8. distance 0 encoding time: 0.07 solving time: 0.21 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 9. distance 2 encoding time: 0.07 solving time: 12.88 LOG SEQUENCE: ER Sepsis Tr ER Registrat ER Triage Leucocytes >> timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage Leucocytes t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 10. distance 0 encoding time: 0.07 solving time: 0.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 11. distance 0 encoding time: 0.08 solving time: 0.28 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 12. distance 0 encoding time: 0.07 solving time: 0.16 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 13. distance 0 encoding time: 0.07 solving time: 0.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 14. distance 0 encoding time: 0.07 solving time: 0.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 15. distance 0 encoding time: 0.07 solving time: 0.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid t100 t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 16. distance 0 encoding time: 0.07 solving time: 0.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid t100 Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 17. distance 0 encoding time: 0.08 solving time: 0.18 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 t700 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 18. distance 0 encoding time: 0.07 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 Leucocytes t803 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 19. distance 1 encoding time: 0.07 solving time: 0.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 20. distance 0 encoding time: 0.07 solving time: 0.26 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 21. distance 0 encoding time: 0.07 solving time: 0.43 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 22. distance 0 encoding time: 0.07 solving time: 0.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 23. distance 0 encoding time: 0.07 solving time: 0.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 24. distance 0 encoding time: 0.07 solving time: 0.17 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 25. distance 0 encoding time: 0.07 solving time: 0.10 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid Leucocytes t803 t100 CRP timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 26. distance 0 encoding time: 0.07 solving time: 0.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 27. distance 1 encoding time: 0.08 solving time: 5.99 LOG SEQUENCE: >> Leucocytes Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t13 Leucocytes CRP ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 28. distance 0 encoding time: 0.08 solving time: 1.93 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr t6 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 29. distance 0 encoding time: 0.08 solving time: 0.51 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 t12 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 30. distance 0 encoding time: 0.08 solving time: 0.46 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 31. distance 0 encoding time: 0.08 solving time: 0.13 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 t5 IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 32. distance 0 encoding time: 0.08 solving time: 0.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 33. distance 0 encoding time: 0.08 solving time: 0.33 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 34. distance 0 encoding time: 0.08 solving time: 0.93 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 t12 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 35. distance 0 encoding time: 0.08 solving time: 0.31 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 36. distance 0 encoding time: 0.08 solving time: 0.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t700 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 37. distance 0 encoding time: 0.08 solving time: 0.17 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 t13 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 38. distance 0 encoding time: 0.08 solving time: 0.12 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 t700 t13 t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 39. distance 0 encoding time: 0.08 solving time: 0.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 ER Triage ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 40. distance 1 encoding time: 0.08 solving time: 1.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 41. distance 1 encoding time: 0.08 solving time: 0.48 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP ER Triage t703 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 42. distance 0 encoding time: 0.08 solving time: 0.25 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr t5 IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 43. distance 0 encoding time: 0.08 solving time: 0.77 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t803 LacticAcid CRP ER Triage timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 44. distance 2 encoding time: 0.08 solving time: 198.06 LOG SEQUENCE: ER Registrat Leucocytes >> ER Sepsis Tr >> IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr t5 IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 45. distance 1 encoding time: 0.09 solving time: 5.99 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage t700 ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 46. distance 2 encoding time: 0.09 solving time: 14.84 LOG SEQUENCE: ER Registrat LacticAcid IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid >> ER Triage ER Sepsis Tr >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 47. distance 0 encoding time: 0.09 solving time: 2.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 timeAntibiot 0 timeLacticAc 0 timeTriage 0 48. distance 0 encoding time: 0.09 solving time: 0.24 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 t5 IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 49. distance 0 encoding time: 0.09 solving time: 0.26 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 Leucocytes ER Sepsis Tr t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 50. distance 0 encoding time: 0.09 solving time: 1.47 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid t703 ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 51. distance 0 encoding time: 0.09 solving time: 0.52 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid ER Sepsis Tr t5 IV Liquid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 52. distance 0 encoding time: 0.09 solving time: 2.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr t6 CRP t800 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 53. distance 0 encoding time: 0.09 solving time: 0.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 t700 ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 54. distance 0 encoding time: 0.09 solving time: 3.27 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t6 Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 55. distance 0 encoding time: 0.09 solving time: 0.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr t5 CRP Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 56. distance 0 encoding time: 0.09 solving time: 0.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 t6 Leucocytes LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 57. distance 0 encoding time: 0.09 solving time: 0.55 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 58. distance 0 encoding time: 0.09 solving time: 0.50 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t803 LacticAcid t5 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 59. distance 0 encoding time: 0.10 solving time: 0.49 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 t12 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 60. distance 0 encoding time: 0.09 solving time: 1.98 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Antibioti CRP timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 61. distance 0 encoding time: 0.09 solving time: 0.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t700 IV Liquid LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 62. distance 0 encoding time: 0.09 solving time: 0.20 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 t800 t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 63. distance 0 encoding time: 0.09 solving time: 0.38 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t800 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 64. distance 0 encoding time: 0.09 solving time: 1.93 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 65. distance 0 encoding time: 0.09 solving time: 0.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 66. distance 0 encoding time: 0.09 solving time: 0.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid t800 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 67. distance 0 encoding time: 0.09 solving time: 0.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 68. distance 0 encoding time: 0.09 solving time: 0.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t13 IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 69. distance 0 encoding time: 0.09 solving time: 0.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 t5 t800 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 70. distance 0 encoding time: 0.09 solving time: 2.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr t800 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 71. distance 0 encoding time: 0.09 solving time: 0.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 72. distance 0 encoding time: 0.09 solving time: 0.63 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 73. distance 0 encoding time: 0.09 solving time: 0.64 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 74. distance 0 encoding time: 0.09 solving time: 0.69 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage ER Sepsis Tr LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 75. distance 0 encoding time: 0.09 solving time: 3.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr t6 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 76. distance 0 encoding time: 0.09 solving time: 1.78 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t803 t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 77. distance 1 encoding time: 0.09 solving time: 6.81 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 >> t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 78. distance 0 encoding time: 0.09 solving time: 2.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 79. distance 0 encoding time: 0.09 solving time: 0.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 80. distance 0 encoding time: 0.09 solving time: 0.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 Leucocytes CRP t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 81. distance 0 encoding time: 0.09 solving time: 0.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 Leucocytes LacticAcid IV Antibioti timeAntibiot 0 0 timeLacticAc 0 0 timeTriage 0 0 82. distance 0 encoding time: 0.09 solving time: 0.23 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 CRP IV Liquid timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 83. distance 0 encoding time: 0.09 solving time: 0.18 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 84. distance 0 encoding time: 0.09 solving time: 1.34 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage CRP t703 Leucocytes ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 85. distance 0 encoding time: 0.09 solving time: 0.22 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage LacticAcid t700 Leucocytes t803 t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 86. distance 0 encoding time: 0.09 solving time: 1.51 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr t6 t13 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 87. distance 0 encoding time: 0.09 solving time: 0.48 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes CRP t13 t703 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 88. distance 0 encoding time: 0.09 solving time: 0.22 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid ER Sepsis Tr t5 t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 89. distance 0 encoding time: 0.09 solving time: 0.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 90. distance 0 encoding time: 0.09 solving time: 0.72 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 91. distance 0 encoding time: 0.09 solving time: 0.11 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes ER Triage t13 t700 ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 92. distance 1 encoding time: 0.09 solving time: 82.26 LOG SEQUENCE: IV Liquid ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr t6 t12 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 93. distance 0 encoding time: 0.09 solving time: 10.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage timeAntibiot 0 timeLacticAc 0 timeTriage 0 encoding time: total 7.89 avg 0.08 median 0.09 solving time: total 390.19 avg 4.15 median 2.10 distance 1: 7 distance 0: 84 distance 2: 3