krr / IDP / issues / #874 - Optimalpropagate does not yet work with CP — Bitbucket

Issue #874 new

Ingmar Dasseville created an issue 2015-01-28

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=9682f138a6f114ebc2fb

Comments (6)

Bart Bogaerts

IDP komt je vertellen wat er mis gaat

Warning: Optimal propagator does not work with non-propositional grounding yet, so disabling cpsupport.

2015-01-28T16:14:32+00:00

Bart Bogaerts
- changed title to Optimalpropagate does not yet work with CP
- 2015-01-28T16:14:53+00:00
Ingmar Dasseville reporter
Maar van mij mag da propositioneel grounden. Zonder cp zou t toch gewoon trager moeten gaan? Niet onmogelijk worden?
- 2015-01-28T16:45:06+00:00
Bart Bogaerts
Onmogelijk?

Het lijkt inderdaad "gewoon trager" te gaan.... Maar als je runt met time/memory limit, dan kan trager "onmogelijk" betekenen...
```
IDP exited abnormally, possible resource exhaustion
```
- 2015-01-28T19:20:19+00:00
Ingmar Dasseville reporter
maar mijn normale modelexpand doe ik ook zonder cp aan, dus ik zie om te beginnen al niet waarom die warning verschijnt. En dan zie ik ook niet waar de overhead nog zit
- 2015-01-29T09:55:49+00:00
Bart Bogaerts
Er zijn twee problemen: 1. OptimalProp werkt niet met CP (blijkbaar niet relevant hier) 2. Er gaat iets mis met type Int = {0..100}. Zie http://dtai.cs.kuleuven.be/krr/idp-ide/?src=6dbda9ceec57c1c57e60 (dat werkt wel). Ik maak voor de tweede een aparte issue aan
- 2015-01-30T02:22:27+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!