/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 0 encoding time: 0.05 solving time: 0.02 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 1. distance 0 encoding time: 0.06 solving time: 0.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 2. distance 0 encoding time: 0.06 solving time: 0.05 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes ER Triage t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 3. distance 0 encoding time: 0.06 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 t13 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 4. distance 0 encoding time: 0.06 solving time: 0.17 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 t13 t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 5. distance 0 encoding time: 0.06 solving time: 0.05 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 6. distance 0 encoding time: 0.06 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 7. distance 0 encoding time: 0.07 solving time: 0.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 8. distance 0 encoding time: 0.06 solving time: 0.16 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 9. distance 2 encoding time: 0.07 solving time: 3.12 LOG SEQUENCE: Release D ER Registrat ER Triage Leucocytes >> CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage Leucocytes ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 10. distance 2 encoding time: 0.07 solving time: 1.12 LOG SEQUENCE: >> Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes CRP >> t803 t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 11. distance 1 encoding time: 0.07 solving time: 0.81 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 12. distance 0 encoding time: 0.07 solving time: 0.21 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 t6 t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 13. distance 1 encoding time: 0.08 solving time: 0.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t13 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 14. distance 0 encoding time: 0.07 solving time: 0.18 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 15. distance 0 encoding time: 0.07 solving time: 0.12 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 t6 t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 16. distance 0 encoding time: 0.07 solving time: 0.26 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 t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 17. distance 0 encoding time: 0.08 solving time: 0.72 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 18. distance 0 encoding time: 0.07 solving time: 0.12 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 CRP t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 19. distance 1 encoding time: 0.07 solving time: 0.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 20. distance 0 encoding time: 0.07 solving time: 0.10 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 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 21. distance 0 encoding time: 0.07 solving time: 0.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr Leucocytes CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 22. distance 0 encoding time: 0.07 solving time: 0.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t700 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 23. distance 0 encoding time: 0.07 solving time: 0.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 24. distance 0 encoding time: 0.07 solving time: 0.08 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 25. distance 0 encoding time: 0.07 solving time: 0.21 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid Leucocytes CRP t703 ER Triage timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 26. distance 1 encoding time: 0.07 solving time: 3.74 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 27. distance 2 encoding time: 0.08 solving time: 8.77 LOG SEQUENCE: >> CRP Leucocytes ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes >> Leucocytes CRP ER Triage t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 28. distance 0 encoding time: 0.08 solving time: 2.30 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 t703 Leucocytes ER Sepsis Tr t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 29. distance 1 encoding time: 0.08 solving time: 1.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 t6 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 30. distance 0 encoding time: 0.08 solving time: 0.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr CRP t6 t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 31. distance 1 encoding time: 0.08 solving time: 0.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP Leucocytes >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 32. distance 0 encoding time: 0.09 solving time: 2.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 CRP t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 33. distance 0 encoding time: 0.08 solving time: 0.43 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 LacticAcid CRP Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 34. distance 0 encoding time: 0.08 solving time: 0.23 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 LacticAcid Leucocytes CRP timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 35. distance 0 encoding time: 0.08 solving time: 1.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 t700 Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 36. distance 0 encoding time: 0.08 solving time: 3.78 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 t700 ER Sepsis Tr t6 t13 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 37. distance 0 encoding time: 0.08 solving time: 0.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 t13 ER Sepsis Tr t6 Leucocytes t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 38. distance 1 encoding time: 0.08 solving time: 0.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> ER Sepsis Tr CRP t13 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 39. distance 0 encoding time: 0.08 solving time: 0.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP IV Liquid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Antibioti t13 CRP timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 40. distance 0 encoding time: 0.08 solving time: 0.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes t12 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 41. distance 0 encoding time: 0.08 solving time: 0.69 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid Leucocytes CRP t703 t803 ER Triage timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 42. distance 1 encoding time: 0.08 solving time: 0.96 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr Admission NC IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t803 t13 CRP t703 >> timeAntibiot 0 timeLacticAc 0 timeTriage 0 43. distance 0 encoding time: 0.08 solving time: 1.91 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 44. distance 2 encoding time: 0.08 solving time: 77.94 LOG SEQUENCE: ER Triage ER Registrat Leucocytes CRP LacticAcid >> ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat Leucocytes CRP LacticAcid t100 t703 t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 45. distance 3 encoding time: 0.09 solving time: 245.72 LOG SEQUENCE: >> CRP Leucocytes LacticAcid ER Registrat ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes >> >> ER Triage ER Sepsis Tr t5 t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 46. distance 2 encoding time: 0.09 solving time: 9.61 LOG SEQUENCE: ER Registrat LacticAcid LacticAcid Leucocytes IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid t700 LacticAcid >> t100 Leucocytes >> timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 47. distance 1 encoding time: 0.09 solving time: 10.69 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr >> t13 t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 48. distance 1 encoding time: 0.09 solving time: 15.37 LOG SEQUENCE: ER Registrat ER Triage CRP LacticAcid Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> LacticAcid Leucocytes ER Sepsis Tr t5 t700 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 49. distance 1 encoding time: 0.09 solving time: 1.38 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr t5 >> t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 50. distance 0 encoding time: 0.09 solving time: 6.40 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr t6 t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 51. distance 1 encoding time: 0.09 solving time: 7.05 LOG SEQUENCE: ER Registrat ER Triage Release D Leucocytes LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> Leucocytes LacticAcid ER Sepsis Tr t100 t700 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 52. distance 1 encoding time: 0.09 solving time: 20.28 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage ER Sepsis Tr t13 >> t6 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 53. distance 1 encoding time: 0.09 solving time: 5.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr >> CRP t5 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 54. distance 0 encoding time: 0.09 solving time: 1.28 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 t13 ER Sepsis Tr CRP Leucocytes t6 Admission NC timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 55. distance 0 encoding time: 0.09 solving time: 1.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Liquid IV Antibioti Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr CRP Leucocytes t5 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 56. distance 0 encoding time: 0.09 solving time: 1.19 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 Leucocytes LacticAcid t100 t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 57. distance 1 encoding time: 0.09 solving time: 10.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid >> t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 58. distance 1 encoding time: 0.10 solving time: 5.98 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 >> Leucocytes t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 59. distance 1 encoding time: 0.09 solving time: 10.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 Leucocytes >> t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 60. distance 1 encoding time: 0.09 solving time: 18.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP LacticAcid Leucocytes Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 CRP LacticAcid t12 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 61. distance 1 encoding time: 0.09 solving time: 1.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid t800 >> CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 62. distance 1 encoding time: 0.09 solving time: 56.91 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid CRP >> Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 63. distance 0 encoding time: 0.09 solving time: 5.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 t800 IV Liquid IV Antibioti CRP timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 64. distance 0 encoding time: 0.09 solving time: 1.50 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti CRP Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid IV Antibioti t9 CRP timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 65. distance 0 encoding time: 0.09 solving time: 3.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti LacticAcid CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t800 t5 IV Liquid IV Antibioti LacticAcid timeAntibiot 0 0 timeLacticAc 0 0 timeTriage 0 0 66. distance 1 encoding time: 0.09 solving time: 4.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti LacticAcid Admission NC CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid t700 IV Antibioti >> timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 67. distance 0 encoding time: 0.09 solving time: 1.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Leucocytes CRP Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid IV Antibioti t9 Leucocytes timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 68. distance 0 encoding time: 0.09 solving time: 1.20 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Leucocytes LacticAcid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage ER Sepsis Tr t5 IV Liquid IV Antibioti Leucocytes timeAntibiot 0 0 timeLacticAc 0 timeTriage 0 0 69. distance 1 encoding time: 0.09 solving time: 1.38 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid Leucocytes CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 t5 IV Liquid >> LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 70. distance 1 encoding time: 0.09 solving time: 16.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes Release B LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid >> t700 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 71. distance 0 encoding time: 0.09 solving time: 0.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Leucocytes LacticAcid CRP Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Admission NC Leucocytes LacticAcid t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 72. distance 1 encoding time: 0.09 solving time: 5.64 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid t5 >> CRP t800 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 73. distance 1 encoding time: 0.09 solving time: 10.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t13 Leucocytes CRP t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 74. distance 1 encoding time: 0.09 solving time: 2.08 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 LacticAcid >> t5 CRP t703 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 75. distance 0 encoding time: 0.09 solving time: 0.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC CRP Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t13 CRP t6 t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 76. distance 0 encoding time: 0.09 solving time: 0.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes t13 t803 CRP timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 77. distance 1 encoding time: 0.09 solving time: 2.82 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Antibioti Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t13 >> t12 Leucocytes timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 78. distance 0 encoding time: 0.09 solving time: 0.29 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes CRP t703 LacticAcid timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 79. distance 0 encoding time: 0.09 solving time: 1.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid Admission NC Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t803 CRP LacticAcid t100 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 80. distance 0 encoding time: 0.09 solving time: 1.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t803 CRP LacticAcid t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 81. distance 1 encoding time: 0.09 solving time: 9.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t5 LacticAcid CRP t800 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 82. distance 1 encoding time: 0.09 solving time: 19.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Release D IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 ER Sepsis Tr t5 >> Leucocytes t803 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 83. distance 1 encoding time: 0.09 solving time: 18.94 LOG SEQUENCE: ER Registrat ER Triage IV Liquid Leucocytes CRP LacticAcid ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> Leucocytes CRP LacticAcid ER Sepsis Tr t803 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 84. distance 1 encoding time: 0.09 solving time: 10.94 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP Release B ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage LacticAcid CRP >> ER Sepsis Tr t5 t800 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 85. distance 0 encoding time: 0.09 solving time: 2.43 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes CRP ER Sepsis Tr Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes CRP ER Sepsis Tr t6 t703 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 86. distance 0 encoding time: 0.09 solving time: 2.10 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage Leucocytes CRP ER Sepsis Tr t703 t6 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 87. distance 1 encoding time: 0.09 solving time: 2.46 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 Leucocytes >> CRP ER Sepsis Tr t703 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 88. distance 1 encoding time: 0.09 solving time: 11.46 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes >> CRP t13 ER Sepsis Tr t5 timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 89. distance 1 encoding time: 0.09 solving time: 34.50 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr LacticAcid t100 CRP Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 90. distance 1 encoding time: 0.09 solving time: 12.93 LOG SEQUENCE: ER Registrat Leucocytes CRP LacticAcid IV Liquid ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes CRP LacticAcid >> ER Triage ER Sepsis Tr t6 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 91. distance 0 encoding time: 0.09 solving time: 1.87 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes LacticAcid t803 CRP t100 ER Triage t703 timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 92. distance 1 encoding time: 0.09 solving time: 44.84 LOG SEQUENCE: IV Liquid ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP t6 Leucocytes timeAntibiot 0 timeLacticAc 0 0 timeTriage 0 0 93. distance 3 encoding time: 0.09 solving time: 260.11 LOG SEQUENCE: >> Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr IV Antibioti Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes t13 >> CRP t803 >> ER Triage ER Sepsis Tr timeAntibiot 0 timeLacticAc 0 timeTriage 0 0 encoding time: total 7.73 avg 0.08 median 0.09 solving time: total 1038.33 avg 11.05 median 10.69 distance 0: 51 distance 1: 36 distance 3: 2 distance 2: 5