/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.14 encoding time: 1.10 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: 4.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 2. distance 3.54 encoding time: 1.50 solving time: 5.96 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 3. distance 4.11 encoding time: 1.49 solving time: 6.29 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 3.04 encoding time: 1.49 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 -61.0 5. distance 3.65 encoding time: 1.50 solving time: 7.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 6. distance 3.31 encoding time: 1.50 solving time: 4.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 7. distance 3.47 encoding time: 1.57 solving time: 5.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 -1.0 8. distance 4.36 encoding time: 1.50 solving time: 5.47 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 9. distance 4.75 encoding time: 1.50 solving time: 16.37 LOG SEQUENCE: ER Registrat ER Triage >> timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 10. distance 2.62 encoding time: 1.50 solving time: 4.97 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.34 encoding time: 1.71 solving time: 9.24 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 12. distance 4.32 encoding time: 1.72 solving time: 15.13 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 13. distance 3.64 encoding time: 1.71 solving time: 3.51 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 14. distance 4.6 encoding time: 1.72 solving time: 20.45 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: 16.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 16. distance 3.87 encoding time: 1.72 solving time: 7.74 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 17. distance 3.81 encoding time: 1.71 solving time: 11.80 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 -61.0 18. distance 3.75 encoding time: 1.72 solving time: 7.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 1.0 19. distance 3.17 encoding time: 1.71 solving time: 5.35 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 20. distance 4.72 encoding time: 1.72 solving time: 12.69 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.66 encoding time: 1.72 solving time: 8.04 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 22. distance 3.72 encoding time: 1.72 solving time: 13.33 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 23. distance 4.21 encoding time: 1.72 solving time: 10.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 24. distance 3.62 encoding time: 1.79 solving time: 12.58 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 25. distance 3.86 encoding time: 1.72 solving time: 10.51 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 26. distance 3.46 encoding time: 1.72 solving time: 9.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 27. distance 4.6 encoding time: 1.96 solving time: 29.07 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 4.5 encoding time: 1.95 solving time: 16.73 LOG SEQUENCE: ER Registrat ER Triage CRP 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 29. (solver timeout) encoding time: 1.95 solving time: 60.00 30. distance 3.85 encoding time: 1.94 solving time: 15.10 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 31. distance 5.14 encoding time: 1.94 solving time: 49.89 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 32. distance 5.4 encoding time: 1.95 solving time: 17.57 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 33. (solver timeout) encoding time: 1.94 solving time: 60.00 34. distance 5.02 encoding time: 1.95 solving time: 54.78 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 35. distance 4.75 encoding time: 1.88 solving time: 21.32 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.66 encoding time: 1.88 solving time: 48.46 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t13 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 37. distance 4.04 encoding time: 1.89 solving time: 16.25 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 -1.0 38. distance 4.81 encoding time: 1.95 solving time: 32.62 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. distance 4.43 encoding time: 1.88 solving time: 18.77 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 40. distance 4.14 encoding time: 1.89 solving time: 8.86 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 41. distance 4.6 encoding time: 1.89 solving time: 26.67 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 0.0 42. distance 3.96 encoding time: 1.88 solving time: 14.68 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 43. distance 4.31 encoding time: 1.89 solving time: 30.24 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 44. (solver timeout) encoding time: 1.89 solving time: 60.00 45. distance 4.68 encoding time: 2.12 solving time: 16.16 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 46. (solver timeout) encoding time: 2.12 solving time: 60.00 47. distance 4.4 encoding time: 2.11 solving time: 57.92 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 48. distance 4.34 encoding time: 2.12 solving time: 24.50 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 49. (solver timeout) encoding time: 2.12 solving time: 60.00 50. distance 4.87 encoding time: 2.12 solving time: 45.74 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 51. distance 5.15 encoding time: 2.19 solving time: 39.04 LOG SEQUENCE: ER Registrat ER Triage Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> t700 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 52. distance 4.43 encoding time: 2.11 solving time: 39.58 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 53. distance 4.92 encoding time: 2.12 solving time: 50.69 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 54. distance 4.64 encoding time: 2.12 solving time: 37.91 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. distance 4.74 encoding time: 2.12 solving time: 58.73 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 56. distance 4.14 encoding time: 2.12 solving time: 30.80 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t800 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 57. (solver timeout) encoding time: 2.12 solving time: 60.00 58. (solver timeout) encoding time: 2.12 solving time: 60.00 59. (solver timeout) encoding time: 2.12 solving time: 60.00 60. distance 4.46 encoding time: 2.12 solving time: 21.15 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 61. distance 5.87 encoding time: 2.12 solving time: 40.55 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 62. distance 4.57 encoding time: 2.12 solving time: 28.58 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 63. distance 4.4 encoding time: 2.20 solving time: 29.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t800 t700 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 64. distance 4.98 encoding time: 2.12 solving time: 42.62 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.12 solving time: 60.00 66. (solver timeout) encoding time: 2.12 solving time: 60.00 67. (solver timeout) encoding time: 2.12 solving time: 60.00 68. (solver timeout) encoding time: 2.12 solving time: 60.00 69. (solver timeout) encoding time: 2.12 solving time: 60.00 70. (solver timeout) encoding time: 2.12 solving time: 60.00 71. distance 4.46 encoding time: 2.12 solving time: 38.73 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 72. distance 4.24 encoding time: 2.12 solving time: 25.49 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 73. distance 3.65 encoding time: 2.12 solving time: 15.37 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 74. distance 4.26 encoding time: 2.11 solving time: 33.69 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 75. (solver timeout) encoding time: 2.20 solving time: 60.00 76. (solver timeout) encoding time: 2.12 solving time: 60.00 77. distance 4.44 encoding time: 2.13 solving time: 24.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 78. distance 4.45 encoding time: 2.12 solving time: 39.17 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 t800 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 79. distance 4.87 encoding time: 2.12 solving time: 32.75 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 80. distance 3.6 encoding time: 2.12 solving time: 21.70 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 81. (solver timeout) encoding time: 2.12 solving time: 60.00 82. (solver timeout) encoding time: 2.12 solving time: 60.00 83. distance 4.54 encoding time: 2.12 solving time: 25.91 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 84. distance 4.21 encoding time: 2.12 solving time: 21.18 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 85. (solver timeout) encoding time: 2.12 solving time: 60.00 86. (solver timeout) encoding time: 2.12 solving time: 60.00 87. (solver timeout) encoding time: 2.20 solving time: 60.00 88. (solver timeout) encoding time: 2.12 solving time: 60.00 89. (solver timeout) encoding time: 2.12 solving time: 60.00 90. distance 4.19 encoding time: 2.12 solving time: 15.65 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 91. distance 3.45 encoding time: 2.12 solving time: 16.58 LOG SEQUENCE: ER Registrat 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 -181.0 92. (solver timeout) encoding time: 2.12 solving time: 60.00 93. distance 4.19 encoding time: 2.12 solving time: 20.83 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 encoding time: total 182.14 avg 1.94 median 2.11 solving time: total 2977.53 avg 31.68 median 57.92 timeouts: 24 distance 4.11: 1 distance 5.4: 1 distance 4.04: 1 distance 4.72: 1 distance 4.81: 1 distance 4.19: 2 distance 4.5: 1 distance 3.14: 1 distance 3.62: 1 distance 4.44: 1 distance 4.57: 1 distance 3.65: 2 distance 5.02: 1 distance 3.87: 1 distance 4.66: 1 distance 3.96: 1 distance 4.92: 1 distance 4.31: 1 distance 4.4: 2 distance 5.14: 1 distance 4.14: 2 distance 3.47: 1 distance 3.34: 1 distance 5.15: 1 distance 4.34: 1 distance 5.87: 1 distance 3.81: 1 distance 3.46: 1 distance 3.85: 1 distance 3.75: 1 distance 3.45: 1 distance 3.04: 1 distance 4.75: 2 distance 4.74: 1 distance 4.98: 1 distance 2.62: 1 distance 3.86: 1 distance 3.54: 1 distance 4.87: 2 distance 4.64: 1 distance 3.31: 1 distance 4.6: 3 distance 4.36: 2 distance 3.6: 1 distance 3.72: 1 distance 3.17: 1 distance 4.21: 2 distance 4.54: 1 distance 3.64: 1 distance 4.32: 1 distance 4.46: 2 distance 4.68: 1 distance 2.93: 1 distance 4.24: 1 distance 3.66: 1 distance 4.45: 1 distance 4.43: 2 distance 4.26: 1