/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 1.0 encoding time: 0.08 solving time: 1.34 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 1. distance 1.0 encoding time: 0.09 solving time: 4.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 t700 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 2. distance 1.0 encoding time: 0.11 solving time: 6.79 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 CRP Leucocytes ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 3. distance 1.0 encoding time: 0.11 solving time: 6.19 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP t703 Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 4. distance 1.0 encoding time: 0.11 solving time: 7.73 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 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 5. distance 1.0 encoding time: 0.11 solving time: 5.09 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 6. distance 1.0 encoding time: 0.11 solving time: 5.57 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 7. distance 1.0 encoding time: 0.11 solving time: 4.45 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 8. distance 1.0 encoding time: 0.11 solving time: 3.42 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes CRP ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 9. distance 3.0 encoding time: 0.11 solving time: 67.12 LOG SEQUENCE: ER Sepsis Tr ER Registrat ER Triage >> Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 10. distance 3.0 encoding time: 0.11 solving time: 35.12 LOG SEQUENCE: >> Leucocytes CRP ER Registrat ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes CRP >> t703 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 11. distance 2.0 encoding time: 0.13 solving time: 13.96 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 CRP t703 Leucocytes >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 12. distance 2.0 encoding time: 0.13 solving time: 48.23 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 13. distance 2.0 encoding time: 0.13 solving time: 23.82 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 CRP Leucocytes >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 14. distance 2.0 encoding time: 0.13 solving time: 65.75 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 15. distance 2.0 encoding time: 0.13 solving time: 37.86 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> CRP t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 16. distance 2.0 encoding time: 0.13 solving time: 39.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 0.0 17. distance 1.0 encoding time: 0.13 solving time: 22.84 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage t13 ER Sepsis Tr Leucocytes t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 18. distance 1.0 encoding time: 0.13 solving time: 10.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 19. distance 2.0 encoding time: 0.13 solving time: 18.18 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP ER Triage timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes t6 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 20. distance 2.0 encoding time: 0.12 solving time: 52.68 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid 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 21. distance 1.0 encoding time: 0.12 solving time: 7.65 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Leucocytes timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 22. distance 2.0 encoding time: 0.12 solving time: 25.21 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP 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 23. distance 1.0 encoding time: 0.12 solving time: 5.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Leucocytes t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 24. distance 2.0 encoding time: 0.12 solving time: 25.79 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes >> t13 CRP timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 25. distance 2.0 encoding time: 0.13 solving time: 20.26 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat LacticAcid Leucocytes CRP t703 ER Triage timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 26. distance 2.0 encoding time: 0.12 solving time: 31.87 LOG SEQUENCE: Leucocytes ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> ER Registrat ER Triage t13 ER Sepsis Tr Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 27. distance 3.0 encoding time: 0.14 solving time: 163.00 LOG SEQUENCE: CRP Leucocytes ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: >> >> ER Registrat Leucocytes CRP ER Triage t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 28. distance 1.0 encoding time: 0.14 solving time: 38.07 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes t703 ER Sepsis Tr t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 29. distance 3.0 encoding time: 0.14 solving time: 237.48 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 t6 >> CRP >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 30. distance 1.0 encoding time: 0.14 solving time: 45.45 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 CRP t6 Leucocytes Admission NC timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 31. distance 3.0 encoding time: 0.14 solving time: 132.33 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr CRP >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 32. distance 3.0 encoding time: 0.14 solving time: 163.33 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t703 >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 33. distance 3.0 encoding time: 0.14 solving time: 283.51 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes >> timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 0.0 34. distance 2.0 encoding time: 0.14 solving time: 99.37 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> Leucocytes CRP t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 35. distance 1.0 encoding time: 0.14 solving time: 41.93 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Leucocytes Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes Admission NC t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 36. distance 1.0 encoding time: 0.15 solving time: 66.62 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage ER Sepsis Tr Leucocytes t6 Admission NC timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 37. distance 1.0 encoding time: 0.14 solving time: 43.34 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 Leucocytes t6 CRP t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 38. distance 3.0 encoding time: 0.14 solving time: 119.05 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes >> t5 IV Antibioti timeAntibiot 0.0 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 39. distance 3.0 encoding time: 0.14 solving time: 127.60 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes >> >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 40. distance 3.0 encoding time: 0.14 solving time: 256.99 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes >> t13 >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 41. distance 3.0 encoding time: 0.14 solving time: 104.29 LOG SEQUENCE: ER Registrat LacticAcid Leucocytes CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat >> Leucocytes CRP t13 ER Triage >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 42. distance 3.0 encoding time: 0.14 solving time: 100.91 LOG SEQUENCE: ER Registrat Leucocytes CRP ER Triage ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes >> ER Triage ER Sepsis Tr t13 t803 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 43. distance 3.0 encoding time: 0.14 solving time: 85.29 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes >> CRP ER Triage ER Sepsis Tr >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 44. (solver timeout) encoding time: 0.14 solving time: 600.00 45. (solver timeout) encoding time: 0.16 solving time: 600.00 46. distance 4.0 encoding time: 0.16 solving time: 594.90 LOG SEQUENCE: ER Registrat CRP LacticAcid Leucocytes IV Liquid ER Triage ER Sepsis Tr IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP LacticAcid t703 >> Leucocytes t803 >> timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 47. distance 2.0 encoding time: 0.16 solving time: 300.92 LOG SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr IV Antibioti Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat CRP Leucocytes ER Triage ER Sepsis Tr >> t6 Admission NC timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 48. distance 3.0 encoding time: 0.16 solving time: 243.04 LOG SEQUENCE: ER Registrat ER Triage CRP LacticAcid Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP >> Leucocytes t803 ER Sepsis Tr t5 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 49. distance 3.0 encoding time: 0.16 solving time: 228.92 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes ER Sepsis Tr IV Liquid LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes t13 ER Sepsis Tr >> t703 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 50. distance 2.0 encoding time: 0.16 solving time: 198.54 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes >> t803 ER Sepsis Tr t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 51. distance 3.0 encoding time: 0.16 solving time: 337.21 LOG SEQUENCE: ER Registrat ER Triage CRP Leucocytes LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage CRP Leucocytes >> ER Sepsis Tr t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 52. distance 2.0 encoding time: 0.17 solving time: 248.11 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Admission NC Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP >> t703 t6 Admission NC timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 53. distance 3.0 encoding time: 0.16 solving time: 525.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP LacticAcid Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP >> t5 Leucocytes t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 54. distance 1.0 encoding time: 0.16 solving time: 80.49 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes Admission NC CRP Release D timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t6 Leucocytes t13 t803 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 55. distance 3.0 encoding time: 0.16 solving time: 361.38 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes IV Liquid IV Antibioti LacticAcid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes t5 IV Liquid >> timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 56. distance 2.0 encoding time: 0.16 solving time: 292.30 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid Admission NC Release B timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 CRP Leucocytes LacticAcid Admission NC timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 0.0 57. distance 3.0 encoding time: 0.16 solving time: 482.52 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti Admission NC timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes >> >> t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 58. distance 3.0 encoding time: 0.16 solving time: 232.61 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes >> t703 t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 59. distance 3.0 encoding time: 0.16 solving time: 282.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP Leucocytes LacticAcid IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr CRP t13 >> t703 Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 60. (solver timeout) encoding time: 0.16 solving time: 600.00 61. (solver timeout) encoding time: 0.16 solving time: 600.00 62. distance 3.0 encoding time: 0.16 solving time: 420.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid CRP Leucocytes LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid CRP >> Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 63. (solver timeout) encoding time: 0.16 solving time: 600.00 64. (solver timeout) encoding time: 0.16 solving time: 600.00 65. (solver timeout) encoding time: 0.16 solving time: 600.00 66. (solver timeout) encoding time: 0.16 solving time: 600.00 67. (solver timeout) encoding time: 0.16 solving time: 600.00 68. (solver timeout) encoding time: 0.16 solving time: 600.00 69. (solver timeout) encoding time: 0.16 solving time: 600.01 70. distance 3.0 encoding time: 0.19 solving time: 556.38 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr IV Liquid Leucocytes CRP LacticAcid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t5 IV Liquid Leucocytes >> t803 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 71. (solver timeout) encoding time: 0.17 solving time: 600.00 72. distance 3.0 encoding time: 1.51 solving time: 509.98 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid CRP Leucocytes IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> CRP Leucocytes t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 73. distance 3.0 encoding time: 0.22 solving time: 440.48 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> t13 Leucocytes t5 CRP timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 74. distance 3.0 encoding time: 0.17 solving time: 428.90 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr LacticAcid Leucocytes CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr >> Leucocytes CRP t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 75. distance 1.0 encoding time: 0.16 solving time: 135.41 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC CRP Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t6 Leucocytes CRP Admission NC t13 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 76. distance 1.0 encoding time: 0.16 solving time: 79.73 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP Admission NC Release A Return ER timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP t703 t13 t6 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 77. distance 2.0 encoding time: 0.16 solving time: 116.59 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP IV Antibioti Leucocytes CRP timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr t13 Leucocytes >> CRP Leucocytes timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 78. distance 2.0 encoding time: 0.16 solving time: 351.94 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid Admission NC Release A timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid t6 Admission NC timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 0.0 79. distance 2.0 encoding time: 0.16 solving time: 242.16 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 t6 Leucocytes CRP LacticAcid Admission NC timeAntibiot 0.0 timeLacticAc 0.0 0.0 timeTriage 0.0 0.0 80. distance 3.0 encoding time: 0.16 solving time: 402.46 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP LacticAcid IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes CRP >> t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 81. distance 3.0 encoding time: 0.26 solving time: 399.08 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes >> t5 CRP IV Antibioti timeAntibiot 0.0 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 82. distance 3.0 encoding time: 0.16 solving time: 285.36 LOG SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes LacticAcid CRP IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage ER Sepsis Tr Leucocytes >> CRP t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 83. (solver timeout) encoding time: 0.16 solving time: 600.01 84. distance 3.0 encoding time: 0.17 solving time: 288.98 LOG SEQUENCE: ER Registrat ER Triage LacticAcid CRP Leucocytes ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> CRP Leucocytes ER Sepsis Tr t5 IV Liquid timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 85. distance 3.0 encoding time: 0.16 solving time: 208.54 LOG SEQUENCE: ER Registrat ER Triage LacticAcid Leucocytes CRP ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage >> Leucocytes t13 CRP t803 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 86. (solver timeout) encoding time: 0.16 solving time: 819.82 87. distance 3.0 encoding time: 6255.14 solving time: 350.94 LOG SEQUENCE: ER Registrat ER Triage Leucocytes CRP LacticAcid ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat t13 ER Triage Leucocytes >> CRP t803 ER Sepsis Tr timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 88. distance 3.0 encoding time: 0.16 solving time: 243.68 LOG SEQUENCE: ER Registrat ER Triage Leucocytes LacticAcid CRP ER Sepsis Tr IV Liquid IV Antibioti timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat ER Triage Leucocytes >> CRP t803 ER Sepsis Tr t5 timeAntibiot 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 89. (solver timeout) encoding time: 0.16 solving time: 600.00 90. (solver timeout) encoding time: 0.16 solving time: 600.00 91. distance 3.0 encoding time: 0.17 solving time: 384.73 LOG SEQUENCE: ER Registrat Leucocytes LacticAcid CRP ER Triage ER Sepsis Tr IV Antibioti IV Liquid timeAntibiot timeLacticAc timeTriage MODEL SEQUENCE: ER Registrat Leucocytes >> CRP ER Triage ER Sepsis Tr t5 IV Antibioti timeAntibiot 0.0 0.0 timeLacticAc 0.0 timeTriage 0.0 0.0 92. (solver timeout) encoding time: 0.17 solving time: 600.00 93. (solver timeout) encoding time: 0.17 solving time: 600.00 encoding time: total 6270.28 avg 66.71 median 0.16 solving time: total 23980.90 avg 255.12 median 300.92 timeouts: 18 distance 2.0: 20 distance 3.0: 34 distance 4.0: 1 distance 1.0: 21