/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.14 encoding time: 1.08 solving time: 2.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 1. distance 2.22 encoding time: 1.28 solving time: 2.08 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.50 solving time: 2.64 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 3. distance 3.36 encoding time: 1.49 solving time: 4.61 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 4. distance 2.4 encoding time: 1.48 solving time: 2.85 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 5. distance 4.25 encoding time: 1.50 solving time: 6.57 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 6. distance 2.88 encoding time: 1.49 solving time: 3.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 7. distance 2.43 encoding time: 1.49 solving time: 2.26 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.49 solving time: 4.83 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.61 encoding time: 1.55 solving time: 13.42 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.37 encoding time: 1.49 solving time: 4.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 11. distance 3.39 encoding time: 1.71 solving time: 4.27 LOG SEQUENCE: ER Registrat CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 12. distance 4.58 encoding time: 1.71 solving time: 4.90 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 13. distance 3.26 encoding time: 1.70 solving time: 2.72 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.71 solving time: 5.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 15. distance 3.6 encoding time: 1.71 solving time: 6.13 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 16. distance 4.78 encoding time: 1.71 solving time: 6.63 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid 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 17. distance 3.79 encoding time: 1.70 solving time: 8.04 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 1.0 18. distance 4.19 encoding time: 1.71 solving time: 8.91 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 4.01 encoding time: 1.71 solving time: 7.20 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 20. distance 4.44 encoding time: 1.71 solving time: 8.19 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 21. distance 2.51 encoding time: 1.71 solving time: 4.00 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 2.83 encoding time: 1.71 solving time: 5.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 -1.0 23. distance 4.55 encoding time: 1.72 solving time: 9.47 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 24. distance 3.03 encoding time: 1.71 solving time: 3.62 LOG SEQUENCE: ER Registrat ER Triage 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 25. distance 3.86 encoding time: 1.79 solving time: 8.71 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 26. distance 4.99 encoding time: 1.71 solving time: 24.71 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 27. distance 4.31 encoding time: 1.95 solving time: 11.95 LOG SEQUENCE: Leucocytes 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 28. distance 3.8 encoding time: 1.94 solving time: 6.45 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr 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 29. distance 5.33 encoding time: 1.94 solving time: 13.48 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.94 solving time: 5.42 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 31. distance 4.76 encoding time: 1.93 solving time: 28.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 32. distance 4.98 encoding time: 1.94 solving time: 11.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 33. distance 4.85 encoding time: 1.94 solving time: 18.96 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 34. distance 3.84 encoding time: 1.95 solving time: 12.70 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 35. distance 4.75 encoding time: 1.94 solving time: 22.89 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 36. distance 4.1 encoding time: 1.93 solving time: 10.00 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 >> t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 37. distance 4.5 encoding time: 1.93 solving time: 26.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 ER Triage >> ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 38. distance 5.69 encoding time: 1.94 solving time: 18.45 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.83 encoding time: 1.93 solving time: 46.25 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 40. distance 4.91 encoding time: 2.02 solving time: 20.01 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.95 solving time: 16.57 LOG SEQUENCE: ER Registrat Leucocytes 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 0.0 42. distance 4.65 encoding time: 1.94 solving time: 19.44 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 0.0 43. distance 5.18 encoding time: 1.94 solving time: 45.90 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 44. (solver timeout) encoding time: 1.95 solving time: 60.00 45. distance 4.47 encoding time: 2.18 solving time: 8.11 LOG SEQUENCE: Leucocytes 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 -61.0 46. distance 6.09 encoding time: 2.18 solving time: 17.98 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> >> ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 47. (solver timeout) encoding time: 2.18 solving time: 60.00 48. distance 5.12 encoding time: 2.20 solving time: 23.33 LOG SEQUENCE: ER Registrat ER Triage LacticAcid 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 49. distance 4.85 encoding time: 2.18 solving time: 35.17 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.21 encoding time: 2.18 solving time: 17.18 LOG SEQUENCE: ER Registrat ER Triage CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 >> t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 51. distance 5.07 encoding time: 2.18 solving time: 26.46 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 52. distance 4.63 encoding time: 2.18 solving time: 45.79 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.13 solving time: 20.20 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 54. (solver timeout) encoding time: 2.12 solving time: 60.00 55. (solver timeout) encoding time: 2.11 solving time: 60.00 56. distance 4.36 encoding time: 2.12 solving time: 21.13 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 >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 57. distance 4.56 encoding time: 2.12 solving time: 24.83 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 58. distance 6.17 encoding time: 2.11 solving time: 27.32 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid 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 59. distance 4.5 encoding time: 2.11 solving time: 16.54 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 60. distance 5.29 encoding time: 2.11 solving time: 13.77 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti CRP IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 61. distance 6.43 encoding time: 2.11 solving time: 15.12 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid 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 62. distance 5.65 encoding time: 2.11 solving time: 41.78 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid 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 63. distance 5.12 encoding time: 2.12 solving time: 30.74 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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. distance 4.72 encoding time: 2.12 solving time: 31.70 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 65. (solver timeout) encoding time: 2.19 solving time: 60.00 66. (solver timeout) encoding time: 2.12 solving time: 60.00 67. distance 5.39 encoding time: 2.12 solving time: 57.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 68. distance 5.48 encoding time: 2.12 solving time: 11.25 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid IV Antibioti Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 69. (solver timeout) encoding time: 2.11 solving time: 60.00 70. (solver timeout) encoding time: 2.12 solving time: 60.00 71. distance 4.23 encoding time: 2.11 solving time: 11.02 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t800 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 72. (solver timeout) encoding time: 2.12 solving time: 60.00 73. distance 5.17 encoding time: 2.12 solving time: 30.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -181.0 74. (solver timeout) encoding time: 2.12 solving time: 60.00 75. distance 5.12 encoding time: 2.12 solving time: 21.15 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 >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 76. distance 4.31 encoding time: 2.11 solving time: 12.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 t800 >> >> t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 77. distance 5.06 encoding time: 2.20 solving time: 9.31 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 78. distance 4.14 encoding time: 2.12 solving time: 22.05 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 79. distance 4.61 encoding time: 2.12 solving time: 26.14 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr 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 80. (solver timeout) encoding time: 2.12 solving time: 60.00 81. distance 5.94 encoding time: 2.11 solving time: 38.65 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 82. (solver timeout) encoding time: 2.12 solving time: 60.00 83. distance 3.95 encoding time: 2.12 solving time: 17.10 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 84. distance 5.15 encoding time: 2.11 solving time: 21.12 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 >> >> ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 85. (solver timeout) encoding time: 2.13 solving time: 60.00 86. distance 4.18 encoding time: 2.11 solving time: 16.83 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 t12 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -1.0 87. (solver timeout) encoding time: 2.11 solving time: 60.00 88. (solver timeout) encoding time: 2.11 solving time: 60.00 89. distance 5.02 encoding time: 2.19 solving time: 24.30 LOG SEQUENCE: ER Registrat IV Liquid ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> t800 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 90. distance 4.32 encoding time: 2.11 solving time: 13.26 LOG SEQUENCE: ER Registrat LacticAcid ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> ER Triage t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 91. distance 5.47 encoding time: 2.11 solving time: 33.95 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> >> ER Triage t13 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 92. (solver timeout) encoding time: 2.11 solving time: 60.00 93. distance 5.28 encoding time: 2.11 solving time: 37.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Antibioti Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 -61.0 encoding time: total 182.74 avg 1.94 median 2.18 solving time: total 2283.26 avg 24.29 median 60.00 timeouts: 16 distance 5.28: 1 distance 5.83: 1 distance 2.92: 1 distance 2.88: 1 distance 6.43: 1 distance 3.84: 1 distance 4.56: 1 distance 3.14: 1 distance 4.1: 1 distance 4.21: 1 distance 4.58: 1 distance 5.15: 1 distance 5.07: 1 distance 4.78: 1 distance 3.36: 1 distance 3.81: 1 distance 3.6: 1 distance 5.17: 1 distance 6.17: 1 distance 3.26: 1 distance 3.8: 1 distance 3.39: 1 distance 4.75: 1 distance 5.29: 1 distance 5.02: 1 distance 2.37: 1 distance 4.5: 2 distance 5.94: 1 distance 4.91: 1 distance 2.22: 1 distance 4.65: 1 distance 4.63: 1 distance 4.55: 1 distance 5.65: 1 distance 4.61: 2 distance 4.85: 2 distance 4.23: 1 distance 5.22: 1 distance 4.99: 1 distance 5.18: 1 distance 3.86: 1 distance 4.76: 1 distance 2.51: 1 distance 3.95: 1 distance 5.48: 1 distance 4.01: 1 distance 2.43: 1 distance 4.14: 1 distance 5.69: 1 distance 2.4: 1 distance 4.72: 1 distance 4.98: 1 distance 2.24: 1 distance 5.47: 1 distance 4.44: 1 distance 6.09: 1 distance 5.33: 1 distance 4.18: 1 distance 5.39: 1 distance 4.94: 1 distance 4.32: 1 distance 4.47: 1 distance 4.36: 1 distance 3.03: 1 distance 5.12: 3 distance 4.19: 1 distance 3.79: 1 distance 4.25: 1 distance 2.83: 1 distance 5.06: 1 distance 4.31: 2 distance 5.0: 1