/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 2.75 encoding time: 2.30 solving time: 3.87 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 3.45 encoding time: 2.71 solving time: 8.67 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 4.19 encoding time: 3.13 solving time: 9.71 LOG SEQUENCE: ER Registrat CRP 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 0.0 3. distance 4.78 encoding time: 3.21 solving time: 12.87 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 4. distance 4.13 encoding time: 3.22 solving time: 9.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 5. distance 3.8 encoding time: 3.13 solving time: 6.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 6. distance 3.05 encoding time: 3.15 solving time: 6.40 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 7. distance 4.12 encoding time: 1.57 solving time: 5.29 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 8. distance 4.58 encoding time: 1.52 solving time: 5.22 LOG SEQUENCE: ER Registrat ER Triage IV Liquid 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.93 encoding time: 1.55 solving time: 17.23 LOG SEQUENCE: Release D ER Registrat ER Triage >> Return ER CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 10. distance 4.86 encoding time: 1.56 solving time: 7.72 LOG SEQUENCE: Leucocytes CRP 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 11. distance 5.96 encoding time: 1.73 solving time: 18.81 LOG SEQUENCE: ER Registrat CRP Leucocytes 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 1.0 12. distance 6.49 encoding time: 3.65 solving time: 36.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 5.41 encoding time: 3.51 solving time: 8.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 14. distance 4.68 encoding time: 3.65 solving time: 11.68 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 15. distance 4.44 encoding time: 3.54 solving time: 9.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 16. distance 5.71 encoding time: 3.64 solving time: 10.76 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid LacticAcid 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 17. distance 5.77 encoding time: 3.62 solving time: 12.26 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 18. distance 5.19 encoding time: 3.64 solving time: 13.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 0.0 19. distance 5.36 encoding time: 3.65 solving time: 14.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 0.0 20. distance 6.04 encoding time: 3.59 solving time: 23.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 21. distance 4.23 encoding time: 3.54 solving time: 12.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 22. distance 4.55 encoding time: 3.67 solving time: 15.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D LacticAcid Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 23. distance 5.69 encoding time: 3.75 solving time: 16.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 0.0 24. distance 4.95 encoding time: 3.51 solving time: 6.72 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 6.72 encoding time: 3.65 solving time: 27.87 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 26. distance 5.12 encoding time: 1.81 solving time: 15.19 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 -61.0 27. distance 7.28 encoding time: 2.04 solving time: 18.50 LOG SEQUENCE: CRP Leucocytes ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat >> >> ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 6.25 encoding time: 1.98 solving time: 16.20 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 >> >> t13 >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 29. distance 6.32 encoding time: 2.02 solving time: 12.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER Leucocytes IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 30. distance 5.99 encoding time: 1.97 solving time: 8.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 31. distance 6.05 encoding time: 2.03 solving time: 12.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 32. distance 5.98 encoding time: 1.99 solving time: 9.31 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 33. distance 5.96 encoding time: 1.99 solving time: 9.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A 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 -61.0 34. distance 6.29 encoding time: 2.03 solving time: 19.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 t800 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 35. distance 4.82 encoding time: 2.00 solving time: 10.42 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Admission NC Return ER Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 t700 >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 36. distance 4.95 encoding time: 2.02 solving time: 10.14 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 >> >> t800 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 37. distance 6.14 encoding time: 2.05 solving time: 24.40 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Return ER IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 t700 ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 38. distance 5.04 encoding time: 2.08 solving time: 11.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B CRP Release B IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 39. distance 6.56 encoding time: 2.03 solving time: 16.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 40. distance 6.48 encoding time: 2.04 solving time: 15.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 41. distance 6.88 encoding time: 2.03 solving time: 25.34 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 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 42. distance 7.4 encoding time: 2.04 solving time: 24.67 LOG SEQUENCE: ER Registrat IV Liquid CRP ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 43. distance 5.76 encoding time: 2.04 solving time: 36.01 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t13 t800 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 44. distance 8.19 encoding time: 2.04 solving time: 43.47 LOG SEQUENCE: >> ER Triage ER Registrat Leucocytes CRP LacticAcid 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 45. distance 8.28 encoding time: 2.29 solving time: 59.12 LOG SEQUENCE: CRP Leucocytes LacticAcid ER Registrat ER Triage ER Sepsis Tr IV Antibioti 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 46. distance 6.82 encoding time: 4.67 solving time: 43.53 LOG SEQUENCE: ER Registrat CRP LacticAcid Leucocytes IV Liquid ER Triage ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> >> t700 t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 47. (solver timeout) encoding time: 4.70 solving time: 60.00 48. distance 6.97 encoding time: 4.67 solving time: 41.75 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 >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 49. distance 7.2 encoding time: 4.65 solving time: 49.38 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid Release B IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> ER Triage >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 50. distance 7.19 encoding time: 2.27 solving time: 16.17 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr Admission NC Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> ER Sepsis Tr >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 51. distance 8.4 encoding time: 2.30 solving time: 27.10 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 -181.0 52. distance 6.2 encoding time: 2.29 solving time: 24.69 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER Release B Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> ER Sepsis Tr t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 53. (solver timeout) encoding time: 2.28 solving time: 60.00 54. distance 5.97 encoding time: 4.56 solving time: 27.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER Return ER CRP IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage t13 ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 55. distance 6.89 encoding time: 4.40 solving time: 31.96 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes Return ER IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage t700 >> t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 56. distance 6.36 encoding time: 4.46 solving time: 35.60 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER LacticAcid Admission NC Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t13 ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 57. distance 6.8 encoding time: 4.58 solving time: 39.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Release D Return ER Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t6 t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 58. distance 6.52 encoding time: 4.71 solving time: 27.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Leucocytes Return ER IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 ER Triage >> ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 59. distance 6.47 encoding time: 4.59 solving time: 40.35 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 t800 ER Triage t700 ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 60. distance 6.41 encoding time: 4.58 solving time: 29.34 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP LacticAcid Return ER IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage ER Sepsis Tr >> >> t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 61. distance 7.3 encoding time: 4.60 solving time: 34.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER CRP 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 0.0 62. distance 6.08 encoding time: 4.52 solving time: 20.31 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes Release A Return ER 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 63. distance 7.1 encoding time: 4.67 solving time: 35.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 64. distance 7.02 encoding time: 4.32 solving time: 17.68 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 t700 >> >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 65. distance 7.48 encoding time: 2.20 solving time: 17.80 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 >> >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 66. distance 6.8 encoding time: 2.20 solving time: 20.71 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Return ER Release A Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 67. distance 8.17 encoding time: 2.22 solving time: 40.52 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 >> ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 68. distance 7.41 encoding time: 2.20 solving time: 36.95 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Release D Leucocytes Return ER CRP 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 69. distance 7.01 encoding time: 2.18 solving time: 29.69 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release B Leucocytes Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> ER Sepsis Tr >> t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 70. distance 6.12 encoding time: 2.13 solving time: 10.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Return ER CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 t6 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 71. distance 6.93 encoding time: 2.19 solving time: 20.34 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D LacticAcid Return ER Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> t700 >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 72. distance 6.33 encoding time: 2.19 solving time: 22.15 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B Leucocytes Return ER Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t800 >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 73. distance 7.63 encoding time: 2.20 solving time: 55.66 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release B Return ER IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 >> >> t700 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 74. distance 6.54 encoding time: 2.20 solving time: 42.92 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release D Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> ER Sepsis Tr t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 75. distance 7.17 encoding time: 2.28 solving time: 20.69 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Release D Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> ER Sepsis Tr t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 76. distance 6.53 encoding time: 2.14 solving time: 20.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP Release B Return ER Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 ER Triage >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 77. distance 7.61 encoding time: 2.21 solving time: 45.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release D IV Antibioti Leucocytes Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> t800 >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 78. distance 6.71 encoding time: 2.19 solving time: 43.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B CRP LacticAcid Return ER Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage ER Sepsis Tr >> >> t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 79. (solver timeout) encoding time: 4.49 solving time: 60.00 80. distance 6.72 encoding time: 4.51 solving time: 35.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A Return ER IV Liquid Release B 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 81. distance 7.21 encoding time: 4.41 solving time: 39.60 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B CRP Release D IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 82. distance 7.96 encoding time: 4.50 solving time: 34.50 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B LacticAcid CRP IV Liquid Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t700 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 83. distance 7.44 encoding time: 2.18 solving time: 17.60 LOG SEQUENCE: ER Registrat ER Triage IV Liquid Leucocytes CRP LacticAcid ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> >> >> ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 84. distance 6.6 encoding time: 2.14 solving time: 16.51 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 t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 85. distance 7.66 encoding time: 2.16 solving time: 21.51 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 >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 86. distance 7.6 encoding time: 2.21 solving time: 39.41 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr Release D Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> ER Triage >> ER Sepsis Tr t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 87. (solver timeout) encoding time: 2.27 solving time: 60.00 88. distance 7.69 encoding time: 2.19 solving time: 30.11 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr Return ER 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 89. distance 5.85 encoding time: 2.13 solving time: 12.31 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr Release A CRP Leucocytes Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t800 t13 t700 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 90. distance 8.01 encoding time: 2.19 solving time: 40.29 LOG SEQUENCE: ER Registrat Leucocytes CRP LacticAcid IV Liquid 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 91. distance 7.15 encoding time: 2.19 solving time: 34.42 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t800 ER Triage t13 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 92. distance 6.35 encoding time: 2.20 solving time: 24.77 LOG SEQUENCE: IV Liquid ER Registrat ER Triage ER Sepsis Tr LacticAcid Release A Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage t700 >> ER Sepsis Tr t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 93. distance 7.16 encoding time: 2.18 solving time: 18.28 LOG SEQUENCE: Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr Release B 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 270.44 avg 2.88 median 4.70 solving time: total 2303.95 avg 24.51 median 60.00 timeouts: 4 distance 6.33: 1 distance 3.45: 1 distance 6.05: 1 distance 4.78: 1 distance 5.98: 1 distance 6.56: 1 distance 2.75: 1 distance 3.05: 1 distance 7.15: 1 distance 4.13: 1 distance 6.72: 2 distance 5.04: 1 distance 7.17: 1 distance 5.69: 1 distance 6.29: 1 distance 6.08: 1 distance 8.01: 1 distance 7.1: 1 distance 6.04: 1 distance 7.2: 1 distance 7.3: 1 distance 5.76: 1 distance 6.35: 1 distance 6.32: 1 distance 4.44: 1 distance 5.12: 1 distance 6.93: 1 distance 6.89: 1 distance 5.77: 1 distance 5.96: 2 distance 6.49: 1 distance 7.44: 1 distance 6.48: 1 distance 5.19: 1 distance 6.53: 1 distance 6.82: 1 distance 7.02: 1 distance 7.48: 1 distance 4.86: 1 distance 6.6: 1 distance 7.61: 1 distance 7.19: 1 distance 6.54: 1 distance 7.01: 1 distance 4.23: 1 distance 6.25: 1 distance 4.55: 1 distance 4.82: 1 distance 5.99: 1 distance 7.21: 1 distance 7.6: 1 distance 6.8: 2 distance 7.69: 1 distance 6.41: 1 distance 6.88: 1 distance 8.4: 1 distance 7.63: 1 distance 4.58: 1 distance 8.19: 1 distance 5.71: 1 distance 7.96: 1 distance 7.66: 1 distance 7.16: 1 distance 6.47: 1 distance 4.19: 1 distance 6.97: 1 distance 7.28: 1 distance 6.71: 1 distance 5.97: 1 distance 7.4: 1 distance 5.85: 1 distance 4.12: 1 distance 4.95: 2 distance 6.36: 1 distance 6.52: 1 distance 6.12: 1 distance 5.41: 1 distance 6.14: 1 distance 3.8: 1 distance 8.28: 1 distance 5.93: 1 distance 4.68: 1 distance 7.41: 1 distance 5.36: 1 distance 8.17: 1 distance 6.2: 1