/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 2.75 encoding time: 2.32 solving time: 4.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1. distance 3.45 encoding time: 2.76 solving time: 12.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 2. distance 3.97 encoding time: 3.17 solving time: 7.62 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> t700 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 3. distance 3.34 encoding time: 3.08 solving time: 5.37 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 4. distance 4.13 encoding time: 3.16 solving time: 8.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid 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.8 encoding time: 3.14 solving time: 4.78 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.05 encoding time: 3.26 solving time: 5.39 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 7. distance 3.75 encoding time: 3.16 solving time: 7.01 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 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 8. distance 4.58 encoding time: 3.10 solving time: 6.22 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 9. distance 5.26 encoding time: 1.57 solving time: 11.69 LOG SEQUENCE: ER Sepsis Tr ER Registrat ER Triage >> Return ER CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 10. distance 3.81 encoding time: 1.53 solving time: 3.66 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 5.74 encoding time: 1.74 solving time: 6.98 LOG SEQUENCE: ER Registrat CRP Leucocytes 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 12. distance 6.49 encoding time: 1.82 solving time: 25.68 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 4.92 encoding time: 1.75 solving time: 3.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 14. distance 4.68 encoding time: 1.81 solving time: 6.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 15. distance 4.79 encoding time: 1.74 solving time: 3.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid 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 16. distance 5.21 encoding time: 1.81 solving time: 6.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 17. distance 5.27 encoding time: 3.31 solving time: 8.38 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 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 18. distance 5.19 encoding time: 3.66 solving time: 15.76 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 19. distance 5.8 encoding time: 3.64 solving time: 13.85 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 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 20. distance 6.04 encoding time: 3.65 solving time: 24.92 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 21. distance 4.55 encoding time: 3.55 solving time: 9.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release D Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 22. distance 3.95 encoding time: 3.65 solving time: 13.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D LacticAcid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 23. distance 5.69 encoding time: 3.80 solving time: 16.18 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 24. distance 4.66 encoding time: 3.54 solving time: 6.62 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 25. distance 5.95 encoding time: 3.66 solving time: 26.97 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 26. distance 4.43 encoding time: 3.67 solving time: 17.39 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr Return ER CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 27. distance 7.12 encoding time: 4.17 solving time: 24.99 LOG SEQUENCE: CRP Leucocytes ER Registrat Leucocytes 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 -60.0 28. distance 5.89 encoding time: 1.99 solving time: 8.93 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 29. distance 5.36 encoding time: 1.99 solving time: 9.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER Leucocytes IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 30. distance 5.99 encoding time: 1.99 solving time: 6.82 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP 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 31. distance 4.68 encoding time: 1.97 solving time: 5.96 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 32. distance 5.98 encoding time: 2.01 solving time: 10.94 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 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 33. distance 5.97 encoding time: 2.00 solving time: 9.63 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 >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 34. distance 5.29 encoding time: 1.98 solving time: 6.93 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 35. distance 5.09 encoding time: 2.02 solving time: 11.55 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 >> >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 36. distance 4.25 encoding time: 4.10 solving time: 12.87 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 >> >> t700 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 37. distance 6.52 encoding time: 4.14 solving time: 34.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 38. distance 4.39 encoding time: 4.05 solving time: 9.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 39. distance 5.08 encoding time: 3.99 solving time: 13.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 40. distance 6.37 encoding time: 4.14 solving time: 21.95 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 41. distance 6.02 encoding time: 4.11 solving time: 26.48 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> ER Triage ER Sepsis Tr t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 42. distance 6.43 encoding time: 4.03 solving time: 21.52 LOG SEQUENCE: ER Registrat Leucocytes CRP 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 43. distance 5.06 encoding time: 4.09 solving time: 15.52 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> ER Triage ER Sepsis Tr t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 44. distance 8.19 encoding time: 4.16 solving time: 51.32 LOG SEQUENCE: >> ER Triage ER Registrat Leucocytes CRP LacticAcid ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> >> t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 45. (solver timeout) encoding time: 4.63 solving time: 60.00 46. distance 7.48 encoding time: 4.60 solving time: 40.74 LOG SEQUENCE: ER Registrat CRP 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 -1.0 47. (solver timeout) encoding time: 4.65 solving time: 60.00 48. distance 6.07 encoding time: 4.61 solving time: 23.77 LOG SEQUENCE: ER Registrat ER Triage CRP LacticAcid Leucocytes ER Sepsis Tr IV Liquid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 49. distance 7.59 encoding time: 4.59 solving time: 53.85 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 >> >> ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -180.0 50. distance 6.77 encoding time: 2.24 solving time: 10.71 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 >> >> >> ER Sepsis Tr >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 51. distance 6.57 encoding time: 2.24 solving time: 13.49 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr IV Liquid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 52. distance 5.96 encoding time: 2.31 solving time: 17.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Release B Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> t800 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 53. distance 7.65 encoding time: 2.30 solving time: 47.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Release D Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t800 t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 54. distance 5.6 encoding time: 2.18 solving time: 6.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER Admission NC CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 55. distance 6.67 encoding time: 2.14 solving time: 10.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes IV Liquid IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t800 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 56. distance 5.83 encoding time: 2.16 solving time: 16.86 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 t800 t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 57. distance 6.8 encoding time: 2.17 solving time: 19.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Release D Return ER Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 >> >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 58. distance 5.71 encoding time: 3.47 solving time: 16.93 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Leucocytes Return ER IV Antibioti Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 >> t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 59. distance 5.8 encoding time: 4.41 solving time: 20.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER LacticAcid IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage t700 t800 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 60. distance 6.23 encoding time: 4.44 solving time: 21.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP LacticAcid Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 t800 >> >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 61. distance 6.68 encoding time: 4.39 solving time: 19.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 62. distance 5.8 encoding time: 4.50 solving time: 20.68 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 >> >> >> t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 63. distance 6.59 encoding time: 4.55 solving time: 21.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Release D CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 64. distance 7.02 encoding time: 4.55 solving time: 27.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B IV Antibioti CRP Leucocytes 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 65. distance 7.48 encoding time: 4.57 solving time: 26.33 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 >> >> >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 66. distance 6.6 encoding time: 4.54 solving time: 29.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Release A Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 67. distance 8.17 encoding time: 4.56 solving time: 43.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release B Leucocytes CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 68. distance 6.95 encoding time: 4.50 solving time: 31.80 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D Leucocytes LacticAcid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> t13 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 69. distance 6.42 encoding time: 4.47 solving time: 30.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER LacticAcid Leucocytes CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 t13 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 70. distance 6.44 encoding time: 4.40 solving time: 13.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 71. distance 6.66 encoding time: 4.41 solving time: 15.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D LacticAcid CRP Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 72. distance 6.39 encoding time: 4.42 solving time: 23.98 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B Leucocytes IV Liquid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> t13 >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 73. distance 6.79 encoding time: 4.43 solving time: 32.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release B Return ER IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> >> t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 74. distance 5.95 encoding time: 4.53 solving time: 49.13 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Leucocytes CRP Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 ER Triage >> >> t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 75. distance 6.78 encoding time: 4.67 solving time: 38.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Release D Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> >> >> t700 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 76. distance 6.23 encoding time: 4.41 solving time: 23.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> >> t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 77. distance 6.64 encoding time: 4.43 solving time: 26.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release D IV Antibioti Return ER CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 78. distance 7.29 encoding time: 4.52 solving time: 42.69 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 t13 >> >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 79. distance 6.98 encoding time: 4.44 solving time: 32.46 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER CRP LacticAcid Release B Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 ER Sepsis Tr >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 80. distance 6.48 encoding time: 4.45 solving time: 20.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP Return ER IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 >> t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 81. distance 6.99 encoding time: 4.43 solving time: 30.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Release A Release D Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t6 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 82. distance 7.12 encoding time: 4.43 solving time: 25.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Release D Release B Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t6 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 83. distance 7.44 encoding time: 4.52 solving time: 24.08 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 >> >> >> >> t800 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 84. distance 5.84 encoding time: 4.41 solving time: 16.24 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP Leucocytes ER Sepsis Tr Release B IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 85. distance 7.66 encoding time: 4.47 solving time: 46.38 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes CRP ER Sepsis Tr IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 86. distance 6.46 encoding time: 4.50 solving time: 26.85 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr Release D Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> ER Sepsis Tr >> t800 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 87. (solver timeout) encoding time: 4.61 solving time: 60.00 88. (solver timeout) encoding time: 4.54 solving time: 60.00 89. distance 5.27 encoding time: 4.35 solving time: 15.61 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr Release A CRP Leucocytes 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 1.0 90. distance 7.27 encoding time: 4.48 solving time: 51.06 LOG SEQUENCE: ER Registrat Leucocytes CRP LacticAcid IV Liquid ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> >> t700 ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 91. distance 7.15 encoding time: 4.47 solving time: 52.04 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t800 t13 t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 92. distance 6.35 encoding time: 4.53 solving time: 46.05 LOG SEQUENCE: Release D ER Registrat ER Triage ER Sepsis Tr LacticAcid Release A Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat t13 ER Triage >> ER Sepsis Tr t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 93. distance 6.65 encoding time: 4.39 solving time: 14.14 LOG SEQUENCE: Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr Release B Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat t13 ER Triage t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 encoding time: total 334.95 avg 3.56 median 4.65 solving time: total 2059.77 avg 21.91 median 60.00 timeouts: 4 distance 7.02: 1 distance 3.34: 1 distance 5.97: 1 distance 6.49: 1 distance 6.43: 1 distance 3.05: 1 distance 5.83: 1 distance 6.42: 1 distance 5.6: 1 distance 5.21: 1 distance 6.35: 1 distance 6.98: 1 distance 3.81: 1 distance 7.59: 1 distance 5.98: 1 distance 5.19: 1 distance 6.67: 1 distance 5.09: 1 distance 5.36: 1 distance 7.27: 1 distance 7.65: 1 distance 4.43: 1 distance 4.55: 1 distance 4.13: 1 distance 5.69: 1 distance 6.39: 1 distance 6.59: 1 distance 6.46: 1 distance 7.66: 1 distance 3.8: 1 distance 4.66: 1 distance 6.65: 1 distance 6.57: 1 distance 4.25: 1 distance 5.89: 1 distance 6.77: 1 distance 6.44: 1 distance 6.37: 1 distance 6.52: 1 distance 4.79: 1 distance 6.48: 1 distance 5.8: 3 distance 5.29: 1 distance 5.26: 1 distance 5.08: 1 distance 2.75: 1 distance 6.07: 1 distance 7.29: 1 distance 6.8: 1 distance 6.66: 1 distance 8.17: 1 distance 4.39: 1 distance 5.06: 1 distance 4.68: 2 distance 4.92: 1 distance 7.15: 1 distance 8.19: 1 distance 5.95: 2 distance 4.58: 1 distance 5.71: 1 distance 7.48: 2 distance 6.23: 2 distance 6.02: 1 distance 3.75: 1 distance 5.96: 1 distance 6.68: 1 distance 5.84: 1 distance 6.04: 1 distance 6.79: 1 distance 7.12: 2 distance 6.6: 1 distance 5.99: 1 distance 6.64: 1 distance 6.99: 1 distance 6.78: 1 distance 3.45: 1 distance 7.44: 1 distance 5.74: 1 distance 3.95: 1 distance 5.27: 2 distance 3.97: 1 distance 6.95: 1