/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 2.75 encoding time: 1.14 solving time: 2.21 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 -61.0 1. distance 3.45 encoding time: 1.35 solving time: 6.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 2. distance 3.97 encoding time: 1.56 solving time: 5.91 LOG SEQUENCE: ER Registrat IV Antibioti 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 3.34 encoding time: 1.51 solving time: 3.05 LOG SEQUENCE: ER Registrat ER Triage IV Antibioti Leucocytes 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 4. distance 4.13 encoding time: 1.54 solving time: 7.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 5. distance 3.8 encoding time: 1.61 solving time: 3.46 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: 1.81 solving time: 5.23 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 7. distance 3.75 encoding time: 1.55 solving time: 4.89 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 8. distance 4.58 encoding time: 1.52 solving time: 4.03 LOG SEQUENCE: ER Registrat ER Triage Leucocytes IV Antibioti 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 9. distance 5.26 encoding time: 1.56 solving time: 11.13 LOG SEQUENCE: Release D 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 4.11 encoding time: 1.52 solving time: 3.94 LOG SEQUENCE: Release A LacticAcid ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat t13 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 11. distance 5.74 encoding time: 1.73 solving time: 8.97 LOG SEQUENCE: ER Registrat Return ER ER Triage 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.80 solving time: 21.32 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: 1.74 solving time: 7.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP IV Antibioti 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.79 solving time: 9.23 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 -181.0 15. distance 4.44 encoding time: 1.75 solving time: 5.79 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 16. distance 5.21 encoding time: 1.80 solving time: 6.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 17. distance 5.62 encoding time: 1.78 solving time: 5.98 LOG SEQUENCE: ER Registrat ER Triage IV Antibioti Leucocytes IV Antibioti 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 18. distance 5.19 encoding time: 1.80 solving time: 7.88 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Admission NC Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 19. distance 5.36 encoding time: 1.79 solving time: 8.48 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 20. distance 6.04 encoding time: 1.78 solving time: 16.44 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.55 encoding time: 1.74 solving time: 6.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release D Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 22. distance 4.55 encoding time: 1.89 solving time: 7.92 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 t6 >> t12 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 23. distance 5.69 encoding time: 1.79 solving time: 9.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti IV Antibioti 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 24. distance 4.95 encoding time: 1.74 solving time: 5.64 LOG SEQUENCE: ER Registrat ER Triage Release A 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: 1.79 solving time: 13.83 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes Return ER 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.9 encoding time: 1.80 solving time: 11.22 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr Return ER Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage t800 t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 27. distance 7.28 encoding time: 2.05 solving time: 20.64 LOG SEQUENCE: IV Antibioti Return ER ER Registrat Release A Return ER ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat >> >> ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 6.25 encoding time: 1.99 solving time: 12.22 LOG SEQUENCE: ER Registrat ER Triage CRP Release A ER Sepsis Tr Admission NC 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: 2.39 solving time: 8.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER 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 -1.0 30. distance 5.99 encoding time: 1.96 solving time: 6.91 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 0.0 31. distance 5.42 encoding time: 2.02 solving time: 7.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Leucocytes Admission NC IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage t700 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 32. distance 5.98 encoding time: 2.00 solving time: 9.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Release A LacticAcid 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 33. distance 5.97 encoding time: 2.00 solving time: 9.47 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Admission NC Leucocytes 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 34. distance 6.29 encoding time: 2.40 solving time: 22.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 35. distance 4.82 encoding time: 2.01 solving time: 8.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Admission NC Return ER Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 >> t12 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 36. distance 4.95 encoding time: 2.09 solving time: 10.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> >> t13 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 37. distance 6.52 encoding time: 2.03 solving time: 16.63 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 >> >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 38. distance 4.93 encoding time: 1.96 solving time: 7.82 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B CRP IV Antibioti 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.29 encoding time: 2.03 solving time: 17.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti Release A Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 40. distance 6.48 encoding time: 2.04 solving time: 14.92 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 41. distance 6.88 encoding time: 2.04 solving time: 19.39 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes Admission NC ER Triage ER Sepsis Tr Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t700 ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 42. distance 7.4 encoding time: 2.04 solving time: 23.08 LOG SEQUENCE: ER Registrat Leucocytes Admission NC ER Triage ER Sepsis Tr Admission NC 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: 2.01 solving time: 10.39 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t800 t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 44. distance 8.19 encoding time: 2.05 solving time: 32.06 LOG SEQUENCE: >> ER Triage Release A Leucocytes LacticAcid LacticAcid ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> >> ER Sepsis Tr t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 45. distance 8.28 encoding time: 2.29 solving time: 32.61 LOG SEQUENCE: Return ER Return ER LacticAcid ER Registrat ER Triage ER Sepsis Tr IV Antibioti Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> >> ER Registrat t13 t800 >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 46. distance 6.82 encoding time: 2.29 solving time: 24.11 LOG SEQUENCE: ER Registrat LacticAcid LacticAcid Leucocytes IV Antibioti ER Triage ER Sepsis Tr 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 47. distance 7.45 encoding time: 2.31 solving time: 38.76 LOG SEQUENCE: ER Registrat Release D Leucocytes ER Triage ER Sepsis Tr IV Antibioti Admission NC Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage ER Sepsis Tr >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 48. distance 6.97 encoding time: 2.28 solving time: 27.76 LOG SEQUENCE: ER Registrat ER Triage CRP LacticAcid IV Antibioti 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 1.0 49. (solver timeout) encoding time: 2.35 solving time: 60.00 50. distance 7.19 encoding time: 2.28 solving time: 21.14 LOG SEQUENCE: ER Registrat ER Triage CRP IV Antibioti LacticAcid ER Sepsis Tr IV Antibioti Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> >> >> t800 >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 51. distance 7.78 encoding time: 2.25 solving time: 24.29 LOG SEQUENCE: ER Registrat ER Triage Release D 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 -61.0 52. distance 6.2 encoding time: 2.21 solving time: 17.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Return ER Admission NC Release D Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> t6 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 53. distance 7.65 encoding time: 2.22 solving time: 45.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Release D Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> t800 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 54. distance 6.09 encoding time: 2.15 solving time: 9.35 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Return ER Return ER CRP 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 55. distance 6.07 encoding time: 2.15 solving time: 10.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 ER Triage ER Sepsis Tr t6 >> t12 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 56. distance 6.22 encoding time: 2.17 solving time: 14.08 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 ER Triage ER Sepsis Tr t6 t12 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -60.0 57. distance 6.8 encoding time: 2.16 solving time: 27.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Leucocytes Release D Return ER Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> ER Sepsis Tr t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 58. distance 5.71 encoding time: 2.15 solving time: 9.50 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 >> t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 59. distance 6.47 encoding time: 2.21 solving time: 22.71 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER LacticAcid Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t800 t6 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 60. distance 6.41 encoding time: 2.17 solving time: 19.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER LacticAcid Return ER Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage t800 >> >> t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 61. distance 6.68 encoding time: 2.22 solving time: 11.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D LacticAcid Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 62. distance 5.9 encoding time: 2.20 solving time: 14.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> t13 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 63. distance 6.59 encoding time: 2.16 solving time: 10.58 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D IV Antibioti CRP LacticAcid Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 64. distance 7.02 encoding time: 2.20 solving time: 16.74 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 >> >> >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 65. distance 7.48 encoding time: 2.22 solving time: 18.95 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC IV Antibioti LacticAcid Release D Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 >> >> >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 66. distance 6.8 encoding time: 2.21 solving time: 26.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Return ER Release A Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 67. distance 8.17 encoding time: 2.22 solving time: 29.43 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release B Leucocytes CRP LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 68. distance 6.95 encoding time: 2.32 solving time: 19.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Release D Leucocytes LacticAcid 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 69. distance 6.42 encoding time: 2.20 solving time: 14.87 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER LacticAcid Leucocytes CRP 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 70. distance 6.12 encoding time: 2.17 solving time: 13.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B Return ER CRP LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 71. distance 6.66 encoding time: 2.15 solving time: 9.57 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release D LacticAcid CRP 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 72. distance 5.84 encoding time: 2.16 solving time: 21.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Release B Leucocytes Return ER Return ER 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 73. distance 7.45 encoding time: 2.30 solving time: 45.87 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes Release B Return ER Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> t13 t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 74. distance 5.95 encoding time: 2.22 solving time: 21.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Return ER Release D Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 t800 >> >> ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 75. distance 7.17 encoding time: 2.23 solving time: 28.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Return ER Admission NC Release D 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 76. distance 6.37 encoding time: 2.17 solving time: 21.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D Release D Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 ER Triage >> >> >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 77. distance 6.64 encoding time: 2.18 solving time: 15.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A Release D IV Antibioti 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 78. distance 7.29 encoding time: 2.22 solving time: 23.44 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 >> >> >> >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 79. distance 6.98 encoding time: 2.18 solving time: 18.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Return ER Return ER LacticAcid Admission NC 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 80. distance 6.48 encoding time: 2.15 solving time: 11.18 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release D CRP Return ER Admission NC IV Antibioti 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 81. distance 6.99 encoding time: 2.15 solving time: 14.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Release A IV Antibioti 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: 2.15 solving time: 17.20 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid Release D Release B 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 83. distance 7.44 encoding time: 2.20 solving time: 15.37 LOG SEQUENCE: ER Registrat ER Triage Release A Leucocytes CRP LacticAcid ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> >> >> >> t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 84. distance 5.84 encoding time: 2.14 solving time: 9.71 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP Leucocytes ER Sepsis Tr Release B Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 85. distance 7.66 encoding time: 2.24 solving time: 27.79 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Return ER Return ER ER Sepsis Tr Admission NC 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: 2.19 solving time: 19.10 LOG SEQUENCE: ER Registrat ER Triage Leucocytes Return ER ER Sepsis Tr Admission NC Release A 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 1.0 87. (solver timeout) encoding time: 2.20 solving time: 60.00 88. distance 7.69 encoding time: 2.21 solving time: 32.10 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 >> >> >> t800 t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 89. distance 5.27 encoding time: 2.13 solving time: 7.39 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr Release A CRP Leucocytes Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t700 t800 ER Triage >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 90. distance 7.27 encoding time: 2.20 solving time: 20.48 LOG SEQUENCE: ER Registrat Leucocytes CRP LacticAcid Return ER ER Triage ER Sepsis Tr Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> >> t700 ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 91. distance 7.15 encoding time: 2.20 solving time: 31.25 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid Release D ER Triage ER Sepsis Tr Release D 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 -61.0 92. distance 6.35 encoding time: 2.21 solving time: 40.00 LOG SEQUENCE: Release D ER Registrat ER Triage ER Sepsis Tr LacticAcid Release A Return ER IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat t700 ER Triage >> ER Sepsis Tr t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 93. distance 6.65 encoding time: 2.13 solving time: 10.95 LOG SEQUENCE: Return ER CRP 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 190.36 avg 2.03 median 2.31 solving time: total 1571.27 avg 16.72 median 38.76 timeouts: 2 distance 7.15: 1 distance 7.69: 1 distance 6.99: 1 distance 5.69: 1 distance 5.19: 1 distance 6.04: 1 distance 5.84: 2 distance 6.97: 1 distance 7.29: 1 distance 6.95: 1 distance 5.06: 1 distance 7.65: 1 distance 7.02: 1 distance 3.8: 1 distance 3.97: 1 distance 7.28: 1 distance 3.75: 1 distance 4.13: 1 distance 6.48: 2 distance 7.48: 1 distance 7.27: 1 distance 7.17: 1 distance 6.07: 1 distance 5.98: 1 distance 4.95: 2 distance 8.17: 1 distance 6.52: 1 distance 7.44: 1 distance 4.55: 2 distance 5.27: 1 distance 4.58: 1 distance 4.93: 1 distance 8.19: 1 distance 3.05: 1 distance 3.34: 1 distance 7.12: 1 distance 8.28: 1 distance 6.68: 1 distance 7.66: 1 distance 3.45: 1 distance 6.72: 1 distance 6.22: 1 distance 5.41: 1 distance 5.26: 1 distance 5.62: 1 distance 6.65: 1 distance 6.37: 1 distance 6.25: 1 distance 4.11: 1 distance 2.75: 1 distance 5.36: 2 distance 6.98: 1 distance 5.99: 1 distance 6.59: 1 distance 4.44: 1 distance 6.66: 1 distance 5.71: 1 distance 6.88: 1 distance 6.35: 1 distance 6.41: 1 distance 7.19: 1 distance 6.2: 1 distance 6.09: 1 distance 5.42: 1 distance 6.8: 2 distance 6.46: 1 distance 4.68: 1 distance 4.9: 1 distance 5.97: 1 distance 7.4: 1 distance 6.47: 1 distance 5.95: 1 distance 6.64: 1 distance 6.82: 1 distance 5.9: 1 distance 7.45: 2 distance 5.74: 1 distance 6.29: 2 distance 6.49: 1 distance 6.42: 1 distance 7.78: 1 distance 5.21: 1 distance 6.12: 1 distance 4.82: 1