/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.14 encoding time: 1.09 solving time: 2.20 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 1. distance 2.93 encoding time: 1.29 solving time: 3.01 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 3.54 encoding time: 1.50 solving time: 6.19 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 4.11 encoding time: 1.50 solving time: 5.02 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 4. distance 2.4 encoding time: 1.49 solving time: 2.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 5. distance 4.31 encoding time: 1.50 solving time: 8.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 6. distance 4.12 encoding time: 1.50 solving time: 8.84 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 7. distance 2.43 encoding time: 1.50 solving time: 2.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 8. distance 4.94 encoding time: 1.57 solving time: 5.48 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 9. distance 4.61 encoding time: 1.50 solving time: 9.35 LOG SEQUENCE: >> >> 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 10. distance 2.62 encoding time: 1.50 solving time: 6.18 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 11. distance 3.34 encoding time: 1.71 solving time: 7.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 12. distance 4.56 encoding time: 1.72 solving time: 19.42 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 13. distance 3.03 encoding time: 1.71 solving time: 3.65 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 14. distance 4.6 encoding time: 1.72 solving time: 15.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 15. distance 4.36 encoding time: 1.72 solving time: 17.06 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 16. distance 4.11 encoding time: 1.72 solving time: 5.56 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 17. distance 4.08 encoding time: 1.71 solving time: 11.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 18. distance 4.19 encoding time: 1.71 solving time: 9.37 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 19. distance 2.98 encoding time: 1.72 solving time: 5.63 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 20. distance 4.72 encoding time: 1.73 solving time: 11.57 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 21. distance 3.29 encoding time: 1.72 solving time: 6.22 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 22. distance 3.72 encoding time: 1.73 solving time: 12.40 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 23. distance 4.21 encoding time: 1.71 solving time: 10.48 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 -61.0 24. distance 3.17 encoding time: 1.72 solving time: 6.22 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 25. distance 3.86 encoding time: 1.72 solving time: 13.32 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 26. distance 4.14 encoding time: 1.80 solving time: 10.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 27. distance 4.6 encoding time: 1.96 solving time: 27.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 4.1 encoding time: 1.95 solving time: 15.95 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t700 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 29. (solver timeout) encoding time: 1.96 solving time: 60.00 30. distance 3.85 encoding time: 1.95 solving time: 13.38 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 0.0 31. distance 4.42 encoding time: 1.94 solving time: 22.48 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 32. distance 5.4 encoding time: 1.95 solving time: 19.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 33. distance 4.67 encoding time: 1.94 solving time: 23.54 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 34. distance 4.24 encoding time: 1.95 solving time: 16.93 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 35. distance 4.75 encoding time: 1.93 solving time: 20.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 36. distance 4.02 encoding time: 1.90 solving time: 11.89 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 37. distance 4.5 encoding time: 1.89 solving time: 33.26 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 4.81 encoding time: 1.88 solving time: 27.72 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 39. (solver timeout) encoding time: 1.95 solving time: 60.00 40. distance 4.91 encoding time: 1.88 solving time: 19.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 41. distance 4.6 encoding time: 1.89 solving time: 20.04 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 42. distance 4.76 encoding time: 1.88 solving time: 27.25 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 43. distance 4.31 encoding time: 1.88 solving time: 30.86 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 44. (solver timeout) encoding time: 1.88 solving time: 60.00 45. distance 5.03 encoding time: 2.11 solving time: 18.65 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 0.0 46. distance 5.07 encoding time: 2.11 solving time: 32.31 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 47. distance 4.4 encoding time: 2.11 solving time: 54.77 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 48. distance 4.34 encoding time: 2.11 solving time: 25.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 49. (solver timeout) encoding time: 2.11 solving time: 60.00 50. distance 4.67 encoding time: 2.12 solving time: 21.47 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 51. distance 5.07 encoding time: 2.11 solving time: 25.52 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 52. distance 4.43 encoding time: 2.19 solving time: 48.59 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 53. (solver timeout) encoding time: 2.11 solving time: 60.00 54. distance 4.64 encoding time: 2.12 solving time: 48.02 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 55. (solver timeout) encoding time: 2.12 solving time: 60.00 56. distance 4.14 encoding time: 2.12 solving time: 31.86 LOG SEQUENCE: ER Registrat 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 0.0 57. distance 4.27 encoding time: 2.12 solving time: 23.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 58. distance 4.32 encoding time: 2.11 solving time: 13.40 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 59. (solver timeout) encoding time: 2.12 solving time: 60.00 60. distance 5.38 encoding time: 2.11 solving time: 17.21 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 61. distance 6.16 encoding time: 2.11 solving time: 46.46 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 62. distance 4.57 encoding time: 2.11 solving time: 29.48 LOG SEQUENCE: ER Registrat 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 63. distance 4.27 encoding time: 2.11 solving time: 20.59 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 -61.0 64. distance 4.72 encoding time: 2.19 solving time: 26.23 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 65. (solver timeout) encoding time: 2.11 solving time: 60.00 66. distance 4.52 encoding time: 2.11 solving time: 30.29 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 67. (solver timeout) encoding time: 2.11 solving time: 60.00 68. distance 4.67 encoding time: 2.11 solving time: 17.22 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 69. distance 5.45 encoding time: 2.11 solving time: 44.53 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 70. (solver timeout) encoding time: 2.11 solving time: 60.00 71. distance 4.57 encoding time: 2.11 solving time: 29.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 72. distance 4.09 encoding time: 2.11 solving time: 23.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 73. distance 4.47 encoding time: 2.11 solving time: 24.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 74. distance 4.26 encoding time: 2.11 solving time: 32.16 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 75. (solver timeout) encoding time: 2.12 solving time: 60.00 76. distance 4.16 encoding time: 2.19 solving time: 21.87 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A Return ER 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 77. distance 4.18 encoding time: 2.12 solving time: 10.10 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 78. distance 3.91 encoding time: 2.12 solving time: 26.28 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 79. distance 4.87 encoding time: 2.13 solving time: 39.28 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 -180.0 80. (solver timeout) encoding time: 2.12 solving time: 60.00 81. distance 5.44 encoding time: 2.12 solving time: 49.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 82. (solver timeout) encoding time: 2.12 solving time: 60.00 83. distance 4.54 encoding time: 2.11 solving time: 33.79 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 84. distance 4.21 encoding time: 2.11 solving time: 19.67 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 85. (solver timeout) encoding time: 2.11 solving time: 60.00 86. distance 4.46 encoding time: 2.11 solving time: 58.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 t12 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 87. (solver timeout) encoding time: 2.11 solving time: 60.00 88. (solver timeout) encoding time: 2.20 solving time: 60.00 89. (solver timeout) encoding time: 2.11 solving time: 60.00 90. distance 4.19 encoding time: 2.12 solving time: 15.02 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 91. distance 4.19 encoding time: 2.11 solving time: 15.92 LOG SEQUENCE: ER Registrat Leucocytes 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 92. (solver timeout) encoding time: 2.11 solving time: 60.00 93. distance 4.19 encoding time: 2.11 solving time: 20.62 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 encoding time: total 181.96 avg 1.94 median 2.11 solving time: total 2631.20 avg 27.99 median 54.77 timeouts: 18 distance 4.72: 2 distance 4.87: 1 distance 4.54: 1 distance 4.09: 1 distance 3.34: 1 distance 5.4: 1 distance 4.64: 1 distance 4.76: 1 distance 5.03: 1 distance 4.6: 3 distance 3.17: 1 distance 4.27: 2 distance 4.26: 1 distance 3.54: 1 distance 2.4: 1 distance 4.4: 1 distance 4.67: 3 distance 2.62: 1 distance 5.44: 1 distance 4.57: 2 distance 4.02: 1 distance 4.21: 2 distance 4.12: 1 distance 3.29: 1 distance 3.91: 1 distance 5.38: 1 distance 4.42: 1 distance 4.46: 1 distance 4.5: 1 distance 4.31: 2 distance 2.98: 1 distance 4.18: 1 distance 4.1: 1 distance 5.45: 1 distance 4.43: 1 distance 4.24: 1 distance 4.61: 1 distance 6.16: 1 distance 4.52: 1 distance 4.91: 1 distance 4.36: 1 distance 5.07: 2 distance 4.56: 1 distance 3.85: 1 distance 2.43: 1 distance 4.94: 1 distance 4.32: 1 distance 3.72: 1 distance 4.16: 1 distance 4.47: 1 distance 4.75: 1 distance 4.08: 1 distance 3.86: 1 distance 4.34: 1 distance 4.14: 2 distance 3.03: 1 distance 3.14: 1 distance 2.93: 1 distance 4.19: 4 distance 4.11: 2 distance 4.81: 1