/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 2.44 encoding time: 1.08 solving time: 1.58 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 1.59 encoding time: 1.27 solving time: 1.95 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 2. distance 2.24 encoding time: 1.48 solving time: 3.65 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 3. distance 3.36 encoding time: 1.48 solving time: 5.14 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 -181.0 4. distance 2.4 encoding time: 1.47 solving time: 2.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC 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 5. distance 4.25 encoding time: 1.48 solving time: 8.53 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 6. distance 3.0 encoding time: 1.49 solving time: 1.93 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 -181.0 7. distance 3.07 encoding time: 1.48 solving time: 2.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 8. distance 4.94 encoding time: 1.48 solving time: 6.00 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 4.98 encoding time: 1.48 solving time: 13.23 LOG SEQUENCE: >> >> ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 10. distance 2.66 encoding time: 1.52 solving time: 3.89 LOG SEQUENCE: CRP 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 11. distance 3.39 encoding time: 1.66 solving time: 3.79 LOG SEQUENCE: ER Registrat 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 12. distance 4.58 encoding time: 1.67 solving time: 5.97 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 13. distance 3.26 encoding time: 1.64 solving time: 2.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 14. distance 3.81 encoding time: 1.65 solving time: 3.84 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.6 encoding time: 1.65 solving time: 5.81 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 -181.0 16. distance 4.78 encoding time: 1.65 solving time: 7.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 17. distance 3.55 encoding time: 1.64 solving time: 3.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 >> >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 18. distance 4.19 encoding time: 1.65 solving time: 11.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 19. distance 4.31 encoding time: 1.64 solving time: 4.80 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 20. distance 4.44 encoding time: 1.65 solving time: 7.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 21. distance 3.19 encoding time: 1.65 solving time: 3.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 22. distance 3.48 encoding time: 1.65 solving time: 7.53 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 -181.0 23. distance 4.27 encoding time: 1.65 solving time: 6.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 24. distance 3.03 encoding time: 1.65 solving time: 3.51 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 25. distance 4.44 encoding time: 1.65 solving time: 9.50 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 26. distance 5.25 encoding time: 1.72 solving time: 17.15 LOG SEQUENCE: Leucocytes 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 -61.0 27. distance 4.31 encoding time: 1.87 solving time: 10.02 LOG SEQUENCE: Leucocytes 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 28. distance 3.8 encoding time: 1.86 solving time: 5.42 LOG SEQUENCE: ER Registrat ER Triage CRP 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 0.0 29. distance 5.33 encoding time: 1.86 solving time: 10.79 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 30. distance 2.92 encoding time: 1.87 solving time: 4.82 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 31. distance 4.3 encoding time: 1.86 solving time: 11.55 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 32. distance 5.62 encoding time: 1.86 solving time: 8.27 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 33. distance 5.11 encoding time: 1.86 solving time: 22.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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.49 encoding time: 1.87 solving time: 14.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 35. distance 4.4 encoding time: 1.86 solving time: 14.53 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 36. distance 3.85 encoding time: 1.86 solving time: 8.48 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 >> t700 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 37. distance 4.5 encoding time: 1.86 solving time: 25.50 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 38. distance 5.69 encoding time: 1.86 solving time: 17.97 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes 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 39. distance 5.02 encoding time: 1.94 solving time: 14.70 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 40. distance 4.91 encoding time: 1.87 solving time: 18.79 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.86 solving time: 16.78 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 42. distance 4.25 encoding time: 1.85 solving time: 10.29 LOG SEQUENCE: ER Registrat 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.18 encoding time: 1.86 solving time: 54.45 LOG SEQUENCE: ER Registrat 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 44. distance 5.64 encoding time: 1.86 solving time: 35.53 LOG SEQUENCE: >> ER Triage 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 45. distance 4.76 encoding time: 2.09 solving time: 6.87 LOG SEQUENCE: CRP Leucocytes ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 46. distance 6.09 encoding time: 2.09 solving time: 21.75 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 47. (solver timeout) encoding time: 2.08 solving time: 60.00 48. distance 4.58 encoding time: 2.09 solving time: 12.58 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 49. distance 4.85 encoding time: 2.09 solving time: 39.31 LOG SEQUENCE: ER Registrat 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 50. distance 4.99 encoding time: 2.09 solving time: 8.39 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid 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 51. distance 5.07 encoding time: 2.09 solving time: 24.47 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 52. distance 4.45 encoding time: 2.16 solving time: 28.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 53. distance 5.22 encoding time: 2.09 solving time: 23.25 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. (solver timeout) encoding time: 2.10 solving time: 60.00 55. (solver timeout) encoding time: 2.10 solving time: 60.00 56. distance 4.03 encoding time: 2.10 solving time: 11.73 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 >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 57. distance 5.88 encoding time: 2.09 solving time: 8.72 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid 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.17 encoding time: 2.09 solving time: 33.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 59. distance 3.64 encoding time: 2.09 solving time: 5.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 60. distance 5.29 encoding time: 2.09 solving time: 14.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP 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 61. distance 6.43 encoding time: 2.09 solving time: 17.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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.65 encoding time: 2.09 solving time: 45.63 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.83 encoding time: 2.09 solving time: 35.75 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 64. (solver timeout) encoding time: 2.17 solving time: 60.00 65. (solver timeout) encoding time: 2.09 solving time: 60.00 66. (solver timeout) encoding time: 2.09 solving time: 60.00 67. distance 5.57 encoding time: 2.09 solving time: 25.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 68. distance 6.02 encoding time: 2.09 solving time: 10.86 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 69. distance 7.52 encoding time: 2.09 solving time: 27.66 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 t800 >> >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 70. distance 5.87 encoding time: 2.09 solving time: 57.89 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 71. distance 5.88 encoding time: 2.39 solving time: 6.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid LacticAcid CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 72. (solver timeout) encoding time: 2.74 solving time: 60.00 73. distance 6.58 encoding time: 2.09 solving time: 14.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid 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 74. distance 3.95 encoding time: 2.09 solving time: 19.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 75. distance 5.12 encoding time: 2.10 solving time: 12.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 76. distance 3.9 encoding time: 2.17 solving time: 12.63 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 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 77. distance 5.06 encoding time: 2.10 solving time: 10.39 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 78. distance 4.71 encoding time: 2.10 solving time: 13.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 79. distance 4.33 encoding time: 2.10 solving time: 9.22 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP 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 -181.0 80. distance 5.56 encoding time: 2.09 solving time: 30.13 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.94 encoding time: 2.09 solving time: 34.01 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 82. (solver timeout) encoding time: 2.10 solving time: 60.00 83. distance 4.38 encoding time: 2.09 solving time: 20.36 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 84. distance 5.15 encoding time: 2.09 solving time: 17.95 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 85. (solver timeout) encoding time: 2.10 solving time: 60.00 86. distance 4.18 encoding time: 2.09 solving time: 18.81 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 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -180.0 87. distance 5.51 encoding time: 2.09 solving time: 30.91 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 -181.0 88. (solver timeout) encoding time: 2.17 solving time: 60.00 89. distance 5.02 encoding time: 2.10 solving time: 25.77 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 90. distance 5.06 encoding time: 2.10 solving time: 32.76 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 91. distance 5.47 encoding time: 2.09 solving time: 37.78 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 92. (solver timeout) encoding time: 2.09 solving time: 60.00 93. distance 5.05 encoding time: 2.09 solving time: 22.93 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 0.0 encoding time: total 179.57 avg 1.91 median 2.08 solving time: total 1950.76 avg 20.75 median 60.00 timeouts: 11 distance 7.52: 1 distance 5.15: 1 distance 4.19: 1 distance 5.07: 1 distance 5.56: 1 distance 3.9: 1 distance 3.36: 1 distance 3.03: 1 distance 5.05: 1 distance 5.33: 1 distance 5.57: 1 distance 2.24: 1 distance 5.0: 1 distance 3.07: 1 distance 6.09: 1 distance 5.25: 1 distance 4.45: 1 distance 3.55: 1 distance 3.64: 1 distance 4.76: 1 distance 4.99: 1 distance 3.95: 1 distance 4.91: 1 distance 5.18: 1 distance 5.06: 2 distance 6.02: 1 distance 5.22: 1 distance 5.47: 1 distance 4.94: 1 distance 4.38: 1 distance 5.51: 1 distance 1.59: 1 distance 3.8: 1 distance 4.78: 1 distance 4.98: 1 distance 3.48: 1 distance 3.26: 1 distance 4.18: 1 distance 5.94: 1 distance 4.71: 1 distance 6.43: 1 distance 3.6: 1 distance 6.58: 1 distance 5.12: 1 distance 5.11: 1 distance 4.3: 1 distance 2.44: 1 distance 4.27: 1 distance 4.5: 1 distance 5.88: 2 distance 5.02: 2 distance 2.66: 1 distance 2.4: 1 distance 5.29: 1 distance 4.03: 1 distance 4.44: 2 distance 4.4: 1 distance 3.0: 1 distance 5.83: 1 distance 2.92: 1 distance 3.81: 1 distance 3.85: 1 distance 5.65: 1 distance 4.85: 1 distance 3.19: 1 distance 3.39: 1 distance 5.69: 1 distance 5.62: 1 distance 4.31: 2 distance 4.25: 2 distance 4.33: 1 distance 4.49: 1 distance 5.87: 1 distance 4.58: 2 distance 5.64: 1 distance 6.17: 1