Enhsp engine error #584

SistemasHE · 2024-03-19T16:37:10Z

SistemasHE
Mar 19, 2024

Hi

I'm testing with a problem that it has the next features:

I want to include one metric (MinimizeExpressionOnFinalState), so I need to solve the problem with enhsp engine (Link). I get the next error message when I try to solve it:

The enhsp engine returns INTERNAL_ERROR, but it supports all the problem features. The error doesn't show more details and I don't know what is the problem. What can it be?

I'm gonna add the problem details:

problem name = actividad

types = [paciente, ubicacion, ambulancia]

fluents = [
  bool esperaPaciente[pac=paciente]
  bool atencionPaciente[pac=paciente]
  bool posPaciente[pac=paciente, ubi=ubicacion]
  bool posAmbulancia[amb=ambulancia, ubi=ubicacion]
  integer distancia[ubiOri=ubicacion, ubiDes=ubicacion]
  real velocidadPromedio
  real tiempoAmbulancia[amb=ambulancia]
  real tiempoTotal
]

actions = [
  action MoverAmbulancia(ambulancia amb, ubicacion ubiOri, ubicacion ubiDes) {
    preconditions = [
      posAmbulancia(amb, ubiOri)
      (0 < distancia(ubiOri, ubiDes))
    ]
    effects = [
      posAmbulancia(amb, ubiOri) := false
      posAmbulancia(amb, ubiDes) := true
      tiempoAmbulancia(amb) := (tiempoAmbulancia(amb) + (distancia(ubiOri, ubiDes) / velocidadPromedio))
      tiempoTotal += (distancia(ubiOri, ubiDes) / velocidadPromedio)
    ]
  }
  action AtenderPaciente(ambulancia amb, paciente pac, ubicacion ubi) {
    preconditions = [
      posAmbulancia(amb, ubi)
      posPaciente(pac, ubi)
      esperaPaciente(pac)
    ]
    effects = [
      esperaPaciente(pac) := false
      atencionPaciente(pac) := true
      tiempoAmbulancia(amb) := (tiempoAmbulancia(amb) + 10)
    ]
  }
]

objects = [
  paciente: [p1, p2, p3, p5, p6, p7, p8]
  ubicacion: [L1, L2, L3, L4, L5, L6, L7, L8]
  ambulancia: [a1, a2]
]

initial fluents default = [
  bool esperaPaciente[pac=paciente] := false
  bool atencionPaciente[pac=paciente] := false
  bool posPaciente[pac=paciente, ubi=ubicacion] := false
  bool posAmbulancia[amb=ambulancia, ubi=ubicacion] := false
  integer distancia[ubiOri=ubicacion, ubiDes=ubicacion] := 10
  real velocidadPromedio := 10
  real tiempoAmbulancia[amb=ambulancia] := 0
  real tiempoTotal := 0
]

initial values = [
  esperaPaciente(p1) := true
  esperaPaciente(p2) := true
  esperaPaciente(p3) := true
  esperaPaciente(p5) := true
  esperaPaciente(p6) := true
  esperaPaciente(p7) := true
  esperaPaciente(p8) := true
  atencionPaciente(p1) := false
  atencionPaciente(p2) := false
  atencionPaciente(p3) := false
  atencionPaciente(p5) := false
  atencionPaciente(p6) := false
  atencionPaciente(p7) := false
  atencionPaciente(p8) := false
  distancia(L1, L1) := -1
  distancia(L1, L2) := 100
  distancia(L1, L3) := 90
  distancia(L1, L4) := -1
  distancia(L1, L5) := 150
  distancia(L1, L6) := -1
  distancia(L1, L7) := -1
  distancia(L1, L8) := -1
  distancia(L2, L1) := 100
  distancia(L2, L2) := -1
  distancia(L2, L3) := -1
  distancia(L2, L4) := 90
  distancia(L2, L5) := 80
  distancia(L2, L6) := 100
  distancia(L2, L7) := -1
  distancia(L2, L8) := -1
  distancia(L3, L1) := 90
  distancia(L3, L2) := -1
  distancia(L3, L3) := -1
  distancia(L3, L4) := 100
  distancia(L3, L5) := -1
  distancia(L3, L6) := -1
  distancia(L3, L7) := -1
  distancia(L3, L8) := 150
  distancia(L4, L1) := -1
  distancia(L4, L2) := 90
  distancia(L4, L3) := 100
  distancia(L4, L4) := -1
  distancia(L4, L5) := -1
  distancia(L4, L6) := -1
  distancia(L4, L7) := 90
  distancia(L4, L8) := 80
  distancia(L5, L1) := 150
  distancia(L5, L2) := 80
  distancia(L5, L3) := -1
  distancia(L5, L4) := -1
  distancia(L5, L5) := -1
  distancia(L5, L6) := 90
  distancia(L5, L7) := -1
  distancia(L5, L8) := -1
  distancia(L6, L1) := -1
  distancia(L6, L2) := 100
  distancia(L6, L3) := -1
  distancia(L6, L4) := -1
  distancia(L6, L5) := 90
  distancia(L6, L6) := -1
  distancia(L6, L7) := 200
  distancia(L6, L8) := -1
  distancia(L7, L1) := -1
  distancia(L7, L2) := -1
  distancia(L7, L3) := -1
  distancia(L7, L4) := 90
  distancia(L7, L5) := -1
  distancia(L7, L6) := 200
  distancia(L7, L7) := -1
  distancia(L7, L8) := -1
  distancia(L8, L1) := -1
  distancia(L8, L2) := -1
  distancia(L8, L3) := 150
  distancia(L8, L4) := 80
  distancia(L8, L5) := -1
  distancia(L8, L6) := -1
  distancia(L8, L7) := -1
  distancia(L8, L8) := -1
  posPaciente(p1, L1) := true
  posPaciente(p2, L2) := true
  posPaciente(p3, L3) := true
  posPaciente(p5, L5) := true
  posPaciente(p6, L6) := true
  posPaciente(p7, L7) := true
  posPaciente(p8, L8) := true
  posAmbulancia(a1, L1) := true
  posAmbulancia(a2, L6) := true
  tiempoAmbulancia(a1) := 0
  tiempoAmbulancia(a2) := 0
  velocidadPromedio := 10
]

goals = [
  atencionPaciente(p1)
  atencionPaciente(p2)
  atencionPaciente(p3)
  atencionPaciente(p5)
  atencionPaciente(p6)
  atencionPaciente(p7)
  atencionPaciente(p8)
  posAmbulancia(a1, L4)
  posAmbulancia(a2, L4)
]

Thanks in advance

alvalentini · 2024-03-20T09:03:41Z

alvalentini
Mar 20, 2024
Maintainer

Hi @SistemasHE! Can you provide the code to create the problem?

Can you also try to print the log messages: print(res.log_messages)?

1 reply

SistemasHE Mar 20, 2024
Author

Hi @alvalentini, Thanks for your answer.

I send you the code:

from unified_planning.model.types import BOOL
from unified_planning.shortcuts import *

ubicacion = UserType("ubicacion")
paciente = UserType("paciente")
ambulancia = UserType("ambulancia")

esperaPaciente = Fluent("esperaPaciente", BoolType(), pac=paciente)
atencionPaciente = Fluent("atencionPaciente", BoolType(), pac=paciente)
posPaciente = Fluent("posPaciente", BoolType(), pac=paciente, ubi=ubicacion)
posAmbulancia = Fluent("posAmbulancia", BoolType(), amb=ambulancia, ubi=ubicacion)
# libreAmbulancia = Fluent("libreAmbulancia", BoolType(), amb=ambulancia)
# noPasoUbicacion = Fluent("noPasoUbicacion", BoolType(), ubi=ubicacion)
# camino = Fluent("camino", BoolType(), ubi1=ubicacion, ubi2=ubicacion)
# Fluents
distancia = Fluent("distancia", IntType(), ubiOri=ubicacion, ubiDes=ubicacion)
tiempoAmbulancia = Fluent("tiempoAmbulancia", RealType(), amb=ambulancia)
velocidadPromedio = Fluent("velocidadPromedio", RealType())
tiempoTotal = Fluent('tiempoTotal', RealType())

MoverAmbulancia = InstantaneousAction('MoverAmbulancia', amb=ambulancia, ubiOri=ubicacion, ubiDes=ubicacion)
MoverAmbulancia.add_precondition(posAmbulancia(MoverAmbulancia.amb, MoverAmbulancia.ubiOri))
MoverAmbulancia.add_precondition(distancia(MoverAmbulancia.ubiOri, MoverAmbulancia.ubiDes) > 0)
MoverAmbulancia.add_effect(posAmbulancia(MoverAmbulancia.amb, MoverAmbulancia.ubiOri), False)
MoverAmbulancia.add_effect(posAmbulancia(MoverAmbulancia.amb, MoverAmbulancia.ubiDes), True)
MoverAmbulancia.add_effect(tiempoAmbulancia(MoverAmbulancia.amb), Plus(tiempoAmbulancia(MoverAmbulancia.amb), (distancia(MoverAmbulancia.ubiOri, MoverAmbulancia.ubiDes) / velocidadPromedio)))
MoverAmbulancia.add_increase_effect(tiempoTotal, (distancia(MoverAmbulancia.ubiOri, MoverAmbulancia.ubiDes) / velocidadPromedio))

AtenderPaciente = InstantaneousAction('AtenderPaciente', amb=ambulancia, pac=paciente, ubi=ubicacion)
AtenderPaciente.add_precondition(posAmbulancia(AtenderPaciente.amb, AtenderPaciente.ubi))
AtenderPaciente.add_precondition(posPaciente(AtenderPaciente.pac, AtenderPaciente.ubi))
AtenderPaciente.add_precondition(esperaPaciente(AtenderPaciente.pac))
AtenderPaciente.add_effect(esperaPaciente(AtenderPaciente.pac), False)
AtenderPaciente.add_effect(atencionPaciente(AtenderPaciente.pac), True)
AtenderPaciente.add_effect(tiempoAmbulancia(AtenderPaciente.amb), Plus(tiempoAmbulancia(MoverAmbulancia.amb), 10))

problem = Problem("actividad")
# Predicados
problem.add_fluent(esperaPaciente, default_initial_value=False)
problem.add_fluent(atencionPaciente, default_initial_value=False)
problem.add_fluent(posPaciente, default_initial_value=False)
problem.add_fluent(posAmbulancia, default_initial_value=False)
problem.add_fluent(distancia, default_initial_value=10)
problem.add_fluent(velocidadPromedio, default_initial_value=10)
problem.add_fluent(tiempoAmbulancia, default_initial_value=0)
problem.add_fluent(tiempoTotal, default_initial_value=0)
# Acciones
problem.add_actions([MoverAmbulancia, AtenderPaciente])

# Objetos
problem.add_object("p1", paciente)
problem.add_object("p2", paciente)
problem.add_object("p3", paciente)
problem.add_object("p5", paciente)
problem.add_object("p6", paciente)
problem.add_object("p7", paciente)
problem.add_object("p8", paciente)

problem.add_object("L1", ubicacion)
problem.add_object("L2", ubicacion)
problem.add_object("L3", ubicacion)
problem.add_object("L4", ubicacion)
problem.add_object("L5", ubicacion)
problem.add_object("L6", ubicacion)
problem.add_object("L7", ubicacion)
problem.add_object("L8", ubicacion)

problem.add_object("a1", ambulancia)
problem.add_object("a2", ambulancia)

# Valores iniciales
problem.set_initial_value(esperaPaciente(problem.object("p1")), True)
problem.set_initial_value(esperaPaciente(problem.object("p2")), True)
problem.set_initial_value(esperaPaciente(problem.object("p3")), True)
problem.set_initial_value(esperaPaciente(problem.object("p5")), True)
problem.set_initial_value(esperaPaciente(problem.object("p6")), True)
problem.set_initial_value(esperaPaciente(problem.object("p7")), True)
problem.set_initial_value(esperaPaciente(problem.object("p8")), True)

problem.set_initial_value(atencionPaciente(problem.object("p1")), False)
problem.set_initial_value(atencionPaciente(problem.object("p2")), False)
problem.set_initial_value(atencionPaciente(problem.object("p3")), False)
problem.set_initial_value(atencionPaciente(problem.object("p5")), False)
problem.set_initial_value(atencionPaciente(problem.object("p6")), False)
problem.set_initial_value(atencionPaciente(problem.object("p7")), False)
problem.set_initial_value(atencionPaciente(problem.object("p8")), False)

problem.set_initial_value(distancia(problem.object("L1"), problem.object("L1")), -1)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L2")), 100)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L3")), 90)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L4")), -1)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L5")), 150)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L6")), -1)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L1"), problem.object("L8")), -1)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L1")), 100)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L2")), -1)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L3")), -1)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L4")), 90)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L5")), 80)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L6")), 100)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L2"), problem.object("L8")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L1")), 90)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L2")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L3")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L4")), 100)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L5")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L6")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L3"), problem.object("L8")), 150)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L1")), -1)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L2")), 90)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L3")), 100)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L4")), -1)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L5")), -1)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L6")), -1)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L7")), 90)
problem.set_initial_value(distancia(problem.object("L4"), problem.object("L8")), 80)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L1")), 150)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L2")), 80)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L3")), -1)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L4")), -1)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L5")), -1)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L6")), 90)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L5"), problem.object("L8")), -1)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L1")), -1)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L2")), 100)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L3")), -1)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L4")), -1)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L5")), 90)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L6")), -1)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L7")), 200)
problem.set_initial_value(distancia(problem.object("L6"), problem.object("L8")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L1")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L2")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L3")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L4")), 90)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L5")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L6")), 200)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L7"), problem.object("L8")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L1")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L2")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L3")), 150)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L4")), 80)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L5")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L6")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L7")), -1)
problem.set_initial_value(distancia(problem.object("L8"), problem.object("L8")), -1)

problem.set_initial_value(posPaciente(problem.object("p1"), problem.object("L1")), True)
problem.set_initial_value(posPaciente(problem.object("p2"), problem.object("L2")), True)
problem.set_initial_value(posPaciente(problem.object("p3"), problem.object("L3")), True)
problem.set_initial_value(posPaciente(problem.object("p5"), problem.object("L5")), True)
problem.set_initial_value(posPaciente(problem.object("p6"), problem.object("L6")), True)
problem.set_initial_value(posPaciente(problem.object("p7"), problem.object("L7")), True)
problem.set_initial_value(posPaciente(problem.object("p8"), problem.object("L8")), True)

problem.set_initial_value(posAmbulancia(problem.object("a1"), problem.object("L1")), True)
problem.set_initial_value(posAmbulancia(problem.object("a2"), problem.object("L6")), True)

problem.set_initial_value(tiempoAmbulancia(problem.object("a1")), 0)
problem.set_initial_value(tiempoAmbulancia(problem.object("a2")), 0)
problem.set_initial_value(velocidadPromedio, 10)

problem.add_goal(atencionPaciente(problem.object("p1")))
problem.add_goal(atencionPaciente(problem.object("p2")))
problem.add_goal(atencionPaciente(problem.object("p3")))
problem.add_goal(atencionPaciente(problem.object("p5")))
problem.add_goal(atencionPaciente(problem.object("p6")))
problem.add_goal(atencionPaciente(problem.object("p7")))
problem.add_goal(atencionPaciente(problem.object("p8")))
problem.add_goal(posAmbulancia(problem.object("a1"), problem.object("L4")))
problem.add_goal(posAmbulancia(problem.object("a2"), problem.object("L4")))

And res.log_messages (I didn't know it):

status: INTERNAL_ERROR
engine: enhsp
plan: None
[LogMessage(level=<LogLevel.INFO: 2>, message=''), LogMessage(level=<LogLevel.ERROR: 4>, 
message='Error: LinkageError occurred while loading main class main\n\tjava.lang.UnsupportedClassVersionError: main has been compiled by a more recent version of the Java Runtime (class file version 61.0), this version of the Java Runtime only recognizes class file versions up to 55.0\n')]

I'm using Google colab and I'm executing this commands at begin. Do I need to install something more ?

!apt install graphviz graphviz-dev
!pip install unified-planning[engines,plot]

Thanks in advance

alvalentini · 2024-03-20T12:49:43Z

alvalentini
Mar 20, 2024
Maintainer

Can you try adding this !apt install openjdk-17-jdk?

1 reply

SistemasHE Mar 20, 2024
Author

I added and I get solution with enhsp engine. Thank you so much!

Now, I'm adding one metric (MinimizeExpressionOnFinalState):

problem.clear_quality_metrics()
problem.add_quality_metric(MinimizeExpressionOnFinalState(tiempoTotal))

with OneshotPlanner(name='enhsp') as planner:
    result = planner.solve(problem)
    print(result)

The process doesn't have a solution. But, if I use lpg instead enhsp, the process returns solution with this metric. Why does this happen?

alvalentini · 2024-03-20T15:45:43Z

alvalentini
Mar 20, 2024
Maintainer

Do you mean that enhsp returns UNSOLVABLE?

4 replies

SistemasHE Mar 20, 2024
Author

Yes. It returns UNSOLVABLE 18 minutes after. Why can lpg solve it and enhsp don't (enhsp supports the metric) ?

alvalentini Mar 21, 2024
Maintainer

@hstairs any idea?

SistemasHE Mar 21, 2024
Author

Excuse me, I didn't check the status before. I get this status and log:

PlanGenerationResultStatus.INTERNAL_ERROR
[LogMessage(level=<LogLevel.INFO: 2>, message='Domain parsed\nProblem parsed\nGrounding..\nGrounding Time: 69\nAibr Preprocessing\n|F|:30\n|X|:2\n|A|:62\n|P|:0\n|E|:0\nH1 Setup Time (msec): 17\n g(n)= 10.0 h(n)=90.0\n g(n)= 19.0 h(n)=79.0\n g(n)= 29.0 h(n)=64.0\n g(n)= 45.0 h(n)=56.0\n g(n)= 61.0 h(n)=55.0\n g(n)= 85.0 h(n)=54.0\n g(n)= 93.0 h(n)=46.0\n g(n)= 93.0 h(n)=38.0\n g(n)= 111.0 h(n)=29.0\n-------------Time: 10s ; Expanded Nodes: 56173 (Avg-Speed 5617.0 n/s); Evaluated States: 393219\n-------------Time: 20s ; Expanded Nodes: 114116 (Avg-Speed 5705.0 n/s); Evaluated States: 798819\n-------------Time: 30s ; Expanded Nodes: 178089 (Avg-Speed 5936.0 n/s); Evaluated States: 1246631\n-------------Time: 40s ; Expanded Nodes: 243358 (Avg-Speed 6083.0 n/s); Evaluated States: 1703513\n-------------Time: 50s ; Expanded Nodes: 303782 (Avg-Speed 6075.0 n/s); Evaluated States: 2126481\n-------------Time: 60s ; Expanded Nodes: 367179 (Avg-Speed 6119.0 n/s); Evaluated States: 2570261\n-------------Time: 70s ; Expanded Nodes: 431853 (Avg-Speed 6169.0 n/s); Evaluated States: 3022979\n-------------Time: 80s ; Expanded Nodes: 490147 (Avg-Speed 6126.0 n/s); Evaluated States: 3431037\n-------------Time: 90s ; Expanded Nodes: 556385 (Avg-Speed 6182.0 n/s); Evaluated States: 3894703\n-------------Time: 100s ; Expanded Nodes: 598646 (Avg-Speed 5986.0 n/s); Evaluated States: 4190529\n-------------Time: 110s ; Expanded Nodes: 660195 (Avg-Speed 6001.0 n/s); Evaluated States: 4621373\n-------------Time: 120s ; Expanded Nodes: 692316 (Avg-Speed 5769.0 n/s); Evaluated States: 4846219\n-------------Time: 130s ; Expanded Nodes: 733041 (Avg-Speed 5638.0 n/s); Evaluated States: 5131295\n-------------Time: 140s ; Expanded Nodes: 785730 (Avg-Speed 5612.0 n/s); Evaluated States: 5500117\n-------------Time: 150s ; Expanded Nodes: 822686 (Avg-Speed 5484.0 n/s); Evaluated States: 5758809\n-------------Time: 160s ; Expanded Nodes: 861982 (Avg-Speed 5387.0 n/s); Evaluated States: 6033881\n-------------Time: 170s ; Expanded Nodes: 905783 (Avg-Speed 5328.0 n/s); Evaluated States: 6340489\n-------------Time: 180s ; Expanded Nodes: 965423 (Avg-Speed 5363.0 n/s); Evaluated States: 6757969\n-------------Time: 190s ; Expanded Nodes: 1000024 (Avg-Speed 5263.0 n/s); Evaluated States: 7000175\n-------------Time: 200s ; Expanded Nodes: 1051301 (Avg-Speed 5256.0 n/s); Evaluated States: 7359115\n-------------Time: 210s ; Expanded Nodes: 1116238 (Avg-Speed 5315.0 n/s); Evaluated States: 7813673\n-------------Time: 220s ; Expanded Nodes: 1143779 (Avg-Speed 5198.0 n/s); Evaluated States: 8006461\n-------------Time: 230s ; Expanded Nodes: 1194423 (Avg-Speed 5193.0 n/s); Evaluated States: 8360969\n-------------Time: 240s ; Expanded Nodes: 1217973 (Avg-Speed 5074.0 n/s); Evaluated States: 8525819\n-------------Time: 250s ; Expanded Nodes: 1273943 (Avg-Speed 5095.0 n/s); Evaluated States: 8917609\n-------------Time: 260s ; Expanded Nodes: 1297678 (Avg-Speed 4991.0 n/s); Evaluated States: 9083753\n-------------Time: 270s ; Expanded Nodes: 1344330 (Avg-Speed 4979.0 n/s); Evaluated States: 9410317\n-------------Time: 280s ; Expanded Nodes: 1368353 (Avg-Speed 4886.0 n/s); Evaluated States: 9578479\n-------------Time: 290s ; Expanded Nodes: 1403925 (Avg-Speed 4841.0 n/s); Evaluated States: 9827483\n-------------Time: 300s ; Expanded Nodes: 1436183 (Avg-Speed 4787.0 n/s); Evaluated States: 10053289\n-------------Time: 310s ; Expanded Nodes: 1463473 (Avg-Speed 4720.0 n/s); Evaluated States: 10244319\n-------------Time: 320s ; Expanded Nodes: 1495694 (Avg-Speed 4674.0 n/s); Evaluated States: 10469865\n-------------Time: 330s ; Expanded Nodes: 1517293 (Avg-Speed 4597.0 n/s); Evaluated States: 10621059\n-------------Time: 340s ; Expanded Nodes: 1552224 (Avg-Speed 4565.0 n/s); Evaluated States: 10865575\n-------------Time: 350s ; Expanded Nodes: 1573580 (Avg-Speed 4495.0 n/s); Evaluated States: 11015067\n-------------Time: 360s ; Expanded Nodes: 1607199 (Avg-Speed 4464.0 n/s); Evaluated States: 11250401\n-------------Time: 370s ; Expanded Nodes: 1628779 (Avg-Speed 4402.0 n/s); Evaluated States: 11401461\n-------------Time: 380s ; Expanded Nodes: 1665428 (Avg-Speed 4382.0 n/s); Evaluated States: 11658003\n-------------Time: 390s ; Expanded Nodes: 1687617 (Avg-Speed 4327.0 n/s); Evaluated States: 11813327\n-------------Time: 404s ; Expanded Nodes: 1707361 (Avg-Speed 4226.0 n/s); Evaluated States: 11951535\n-------------Time: 421s ; Expanded Nodes: 1719026 (Avg-Speed 4083.0 n/s); Evaluated States: 12033189\n-------------Time: 437s ; Expanded Nodes: 1728767 (Avg-Speed 3955.0 n/s); Evaluated States: 12101377\n-------------Time: 452s ; Expanded Nodes: 1736874 (Avg-Speed 3842.0 n/s); Evaluated States: 12158125\n-------------Time: 462s ; Expanded Nodes: 1746533 (Avg-Speed 3780.0 n/s); Evaluated States: 12225739\n-------------Time: 472s ; Expanded Nodes: 1763867 (Avg-Speed 3737.0 n/s); Evaluated States: 12347077\n-------------Time: 484s ; Expanded Nodes: 1771346 (Avg-Speed 3659.0 n/s); Evaluated States: 12399429\n-------------Time: 500s ; Expanded Nodes: 1773446 (Avg-Speed 3546.0 n/s); Evaluated States: 12414129\n-------------Time: 515s ; Expanded Nodes: 1773562 (Avg-Speed 3443.0 n/s); Evaluated States: 12414941\n-------------Time: 530s ; Expanded Nodes: 1773679 (Avg-Speed 3346.0 n/s); Evaluated States: 12415761\n-------------Time: 545s ; Expanded Nodes: 1773854 (Avg-Speed 3254.0 n/s); Evaluated States: 12416985\n-------------Time: 559s ; Expanded Nodes: 1773971 (Avg-Speed 3173.0 n/s); Evaluated States: 12417805\n-------------Time: 574s ; Expanded Nodes: 1774087 (Avg-Speed 3090.0 n/s); Evaluated States: 12418617\n-------------Time: 588s ; Expanded Nodes: 1774204 (Avg-Speed 3017.0 n/s); Evaluated States: 12419435\n-------------Time: 603s ; Expanded Nodes: 1774321 (Avg-Speed 2942.0 n/s); Evaluated States: 12420255\n-------------Time: 618s ; Expanded Nodes: 1774437 (Avg-Speed 2871.0 n/s); Evaluated States: 12421067\n-------------Time: 632s ; Expanded Nodes: 1774554 (Avg-Speed 2807.0 n/s); Evaluated States: 12421885\n-------------Time: 647s ; Expanded Nodes: 1774671 (Avg-Speed 2742.0 n/s); Evaluated States: 12422705\n-------------Time: 661s ; Expanded Nodes: 1774787 (Avg-Speed 2685.0 n/s); Evaluated States: 12423517\n-------------Time: 675s ; Expanded Nodes: 1774904 (Avg-Speed 2629.0 n/s); Evaluated States: 12424335\n-------------Time: 693s ; Expanded Nodes: 1774962 (Avg-Speed 2561.0 n/s); Evaluated States: 12424741\n-------------Time: 708s ; Expanded Nodes: 1775079 (Avg-Speed 2507.0 n/s); Evaluated States: 12425561\n-------------Time: 723s ; Expanded Nodes: 1775195 (Avg-Speed 2455.0 n/s); Evaluated States: 12426373\n-------------Time: 738s ; Expanded Nodes: 1775312 (Avg-Speed 2405.0 n/s); Evaluated States: 12427191\n-------------Time: 753s ; Expanded Nodes: 1775487 (Avg-Speed 2357.0 n/s); Evaluated States: 12428417\n-------------Time: 768s ; Expanded Nodes: 1775662 (Avg-Speed 2312.0 n/s); Evaluated States: 12429641\n-------------Time: 782s ; Expanded Nodes: 1775779 (Avg-Speed 2270.0 n/s); Evaluated States: 12430461\n-------------Time: 797s ; Expanded Nodes: 1775895 (Avg-Speed 2228.0 n/s); Evaluated States: 12431273\n-------------Time: 813s ; Expanded Nodes: 1776012 (Avg-Speed 2184.0 n/s); Evaluated States: 12432091\n-------------Time: 827s ; Expanded Nodes: 1776129 (Avg-Speed 2147.0 n/s); Evaluated States: 12432911\n-------------Time: 842s ; Expanded Nodes: 1776245 (Avg-Speed 2109.0 n/s); Evaluated States: 12433723\n-------------Time: 856s ; Expanded Nodes: 1776362 (Avg-Speed 2075.0 n/s); Evaluated States: 12434541\n-------------Time: 871s ; Expanded Nodes: 1776479 (Avg-Speed 2039.0 n/s); Evaluated States: 12435361\n-------------Time: 885s ; Expanded Nodes: 1776595 (Avg-Speed 2007.0 n/s); Evaluated States: 12436173\n-------------Time: 900s ; Expanded Nodes: 1776712 (Avg-Speed 1974.0 n/s); Evaluated States: 12436991\n-------------Time: 915s ; Expanded Nodes: 1776829 (Avg-Speed 1941.0 n/s); Evaluated States: 12437811\n'), 
LogMessage(level=<LogLevel.ERROR: 4>, message='Exception in thread "main" java.lang.OutOfMemoryError: Java heap space: failed reallocation of scalar replaced objects\n')]

alvalentini Mar 22, 2024
Maintainer

So there is no bug. LPG is able to find a solution while ENHSP goes out of memory before finding a solution.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Enhsp engine error #584

{{title}}

Replies: 3 comments 6 replies

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

Select a reply

Enhsp engine error #584

SistemasHE Mar 19, 2024

Replies: 3 comments · 6 replies

alvalentini Mar 20, 2024 Maintainer

SistemasHE Mar 20, 2024 Author

alvalentini Mar 20, 2024 Maintainer

SistemasHE Mar 20, 2024 Author

alvalentini Mar 20, 2024 Maintainer

SistemasHE Mar 20, 2024 Author

alvalentini Mar 21, 2024 Maintainer

SistemasHE Mar 21, 2024 Author

alvalentini Mar 22, 2024 Maintainer

SistemasHE
Mar 19, 2024

Replies: 3 comments 6 replies

alvalentini
Mar 20, 2024
Maintainer

SistemasHE Mar 20, 2024
Author

alvalentini
Mar 20, 2024
Maintainer

SistemasHE Mar 20, 2024
Author

alvalentini
Mar 20, 2024
Maintainer

SistemasHE Mar 20, 2024
Author

alvalentini Mar 21, 2024
Maintainer

SistemasHE Mar 21, 2024
Author

alvalentini Mar 22, 2024
Maintainer