/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 2.44 encoding time: 1.09 solving time: 1.55 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.0 encoding time: 1.28 solving time: 1.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 2. distance 2.54 encoding time: 1.49 solving time: 3.57 LOG SEQUENCE: ER Registrat Leucocytes 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 2.49 encoding time: 1.50 solving time: 2.41 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 1.0 4. distance 2.4 encoding time: 1.49 solving time: 2.85 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 >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 5. distance 3.67 encoding time: 1.49 solving time: 4.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 6. distance 3.0 encoding time: 1.50 solving time: 1.96 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 -1.0 7. distance 3.07 encoding time: 1.49 solving time: 2.37 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 8. distance 3.55 encoding time: 1.49 solving time: 2.52 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 9. distance 5.75 encoding time: 1.50 solving time: 12.46 LOG SEQUENCE: >> >> ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 10. distance 3.36 encoding time: 1.56 solving time: 3.62 LOG SEQUENCE: Leucocytes CRP 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 11. distance 3.65 encoding time: 1.71 solving time: 3.39 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 12. distance 4.0 encoding time: 1.72 solving time: 2.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 13. distance 3.26 encoding time: 1.70 solving time: 2.59 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 14. distance 3.34 encoding time: 1.72 solving time: 2.87 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.7 encoding time: 1.72 solving time: 4.03 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 0.0 16. distance 4.78 encoding time: 1.70 solving time: 6.50 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 17. distance 3.55 encoding time: 1.67 solving time: 3.42 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 18. distance 4.0 encoding time: 1.67 solving time: 2.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 19. distance 4.0 encoding time: 1.67 solving time: 2.87 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 20. distance 4.44 encoding time: 1.68 solving time: 10.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 21. distance 4.63 encoding time: 1.66 solving time: 4.79 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Leucocytes 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.3 encoding time: 1.66 solving time: 4.82 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 1.0 23. distance 4.47 encoding time: 1.66 solving time: 3.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 24. distance 3.12 encoding time: 1.67 solving time: 3.21 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 25. distance 4.54 encoding time: 1.66 solving time: 5.57 LOG SEQUENCE: ER Registrat LacticAcid 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 26. distance 4.86 encoding time: 1.66 solving time: 8.69 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat t13 t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 27. distance 4.61 encoding time: 1.89 solving time: 8.18 LOG SEQUENCE: Leucocytes ER Registrat Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat >> t700 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 4.5 encoding time: 1.88 solving time: 4.61 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> ER Sepsis Tr t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 29. distance 5.54 encoding time: 1.88 solving time: 7.61 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 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 30. distance 4.0 encoding time: 1.88 solving time: 2.26 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 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 31. distance 5.47 encoding time: 1.87 solving time: 18.56 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 32. distance 5.62 encoding time: 1.88 solving time: 7.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP 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 33. distance 5.35 encoding time: 1.88 solving time: 4.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP 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 34. distance 4.95 encoding time: 1.89 solving time: 11.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 35. distance 4.4 encoding time: 1.88 solving time: 12.42 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 36. distance 4.08 encoding time: 1.87 solving time: 5.73 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 t12 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 37. distance 4.69 encoding time: 1.88 solving time: 19.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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. distance 5.69 encoding time: 1.88 solving time: 19.81 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 39. distance 5.38 encoding time: 1.88 solving time: 7.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 40. distance 4.08 encoding time: 1.96 solving time: 6.81 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 41. distance 5.0 encoding time: 1.88 solving time: 12.92 LOG SEQUENCE: ER Registrat Leucocytes 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. distance 4.78 encoding time: 1.87 solving time: 10.20 LOG SEQUENCE: ER Registrat Leucocytes ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t13 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 43. distance 4.45 encoding time: 1.88 solving time: 10.70 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 44. distance 5.64 encoding time: 1.88 solving time: 36.96 LOG SEQUENCE: >> ER Triage Leucocytes ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 45. distance 5.54 encoding time: 2.11 solving time: 5.50 LOG SEQUENCE: CRP Leucocytes ER Registrat 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 -61.0 46. distance 6.09 encoding time: 2.12 solving time: 17.72 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes 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. distance 4.28 encoding time: 2.11 solving time: 17.08 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr 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 48. distance 4.41 encoding time: 2.11 solving time: 6.08 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes 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 49. distance 4.54 encoding time: 2.11 solving time: 23.02 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 50. distance 4.68 encoding time: 2.12 solving time: 5.35 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 51. distance 4.53 encoding time: 2.11 solving time: 8.28 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 52. distance 4.87 encoding time: 2.18 solving time: 7.77 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 53. distance 4.62 encoding time: 2.11 solving time: 10.58 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. distance 6.28 encoding time: 2.12 solving time: 29.91 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 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 55. (solver timeout) encoding time: 2.11 solving time: 60.00 56. distance 3.54 encoding time: 2.12 solving time: 9.59 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 >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 57. distance 6.71 encoding time: 2.12 solving time: 8.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP 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 58. distance 6.78 encoding time: 2.11 solving time: 8.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 59. distance 4.17 encoding time: 2.11 solving time: 6.38 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 60. distance 6.07 encoding time: 2.11 solving time: 19.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP Leucocytes IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 61. distance 6.6 encoding time: 2.11 solving time: 6.42 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 t800 >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 62. distance 5.41 encoding time: 2.11 solving time: 20.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 63. distance 5.01 encoding time: 2.11 solving time: 9.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 64. distance 6.7 encoding time: 2.19 solving time: 18.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 65. distance 5.36 encoding time: 2.11 solving time: 41.10 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 66. distance 5.91 encoding time: 2.11 solving time: 34.69 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid 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 67. distance 5.11 encoding time: 2.11 solving time: 8.55 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 68. distance 6.43 encoding time: 2.11 solving time: 9.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Leucocytes LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 69. distance 13.6 encoding time: 2.11 solving time: 2.01 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 >> >> >> >> >> >> t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 70. (solver timeout) encoding time: 2.11 solving time: 60.00 71. distance 6.0 encoding time: 2.11 solving time: 4.03 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes LacticAcid CRP 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 72. distance 5.22 encoding time: 2.11 solving time: 6.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP 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 73. distance 7.09 encoding time: 2.11 solving time: 14.60 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 74. distance 3.95 encoding time: 2.11 solving time: 17.51 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 75. distance 4.1 encoding time: 2.12 solving time: 3.61 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC CRP Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 76. distance 3.9 encoding time: 2.11 solving time: 7.78 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> t700 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 77. distance 5.44 encoding time: 2.12 solving time: 6.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP 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 78. distance 5.29 encoding time: 2.12 solving time: 9.80 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 >> >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 79. distance 5.0 encoding time: 2.12 solving time: 4.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 80. distance 5.23 encoding time: 2.11 solving time: 13.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP 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 81. distance 5.5 encoding time: 2.11 solving time: 17.70 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 82. distance 6.0 encoding time: 2.11 solving time: 3.92 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP 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 -1.0 83. distance 5.09 encoding time: 2.11 solving time: 10.95 LOG SEQUENCE: ER Registrat ER Triage IV Liquid CRP ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 84. distance 5.34 encoding time: 2.11 solving time: 10.16 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP 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 -180.0 85. (solver timeout) encoding time: 2.11 solving time: 60.00 86. distance 3.23 encoding time: 2.11 solving time: 9.55 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 t12 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 87. distance 5.15 encoding time: 2.11 solving time: 8.64 LOG SEQUENCE: ER Registrat ER Triage CRP 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 -61.0 88. (solver timeout) encoding time: 2.12 solving time: 60.00 89. distance 5.75 encoding time: 2.18 solving time: 12.06 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr CRP 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 90. distance 4.72 encoding time: 2.11 solving time: 9.43 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> t800 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 91. distance 6.34 encoding time: 2.11 solving time: 15.86 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP 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. distance 6.13 encoding time: 2.11 solving time: 15.62 LOG SEQUENCE: IV Liquid ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat t700 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 93. distance 5.05 encoding time: 2.11 solving time: 27.64 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti 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 encoding time: total 180.44 avg 1.92 median 2.11 solving time: total 1118.21 avg 11.90 median 17.08 timeouts: 4 distance 6.28: 1 distance 3.67: 1 distance 13.6: 1 distance 4.08: 2 distance 4.17: 1 distance 3.55: 2 distance 5.15: 1 distance 4.5: 1 distance 3.0: 1 distance 4.87: 1 distance 3.36: 1 distance 6.43: 1 distance 5.75: 2 distance 4.53: 1 distance 6.71: 1 distance 2.0: 1 distance 4.72: 1 distance 5.23: 1 distance 3.07: 1 distance 3.12: 1 distance 6.13: 1 distance 5.0: 2 distance 3.26: 1 distance 4.4: 1 distance 4.0: 4 distance 5.91: 1 distance 3.54: 1 distance 2.44: 1 distance 4.28: 1 distance 6.07: 1 distance 5.54: 2 distance 5.22: 1 distance 5.35: 1 distance 5.5: 1 distance 5.05: 1 distance 5.64: 1 distance 3.3: 1 distance 6.6: 1 distance 4.54: 2 distance 3.7: 1 distance 4.45: 1 distance 5.41: 1 distance 6.09: 1 distance 5.62: 1 distance 5.36: 1 distance 4.68: 1 distance 4.44: 1 distance 3.65: 1 distance 3.34: 1 distance 3.95: 1 distance 4.62: 1 distance 5.44: 1 distance 5.34: 1 distance 4.69: 1 distance 5.29: 1 distance 5.09: 1 distance 5.38: 1 distance 5.47: 1 distance 6.7: 1 distance 4.41: 1 distance 6.78: 1 distance 3.23: 1 distance 3.9: 1 distance 5.69: 1 distance 2.54: 1 distance 4.78: 2 distance 4.63: 1 distance 4.47: 1 distance 4.61: 1 distance 5.11: 1 distance 4.95: 1 distance 6.0: 2 distance 4.1: 1 distance 2.49: 1 distance 2.4: 1 distance 6.34: 1 distance 5.01: 1 distance 4.86: 1 distance 7.09: 1