Issue204

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title infer additional "!="-constraints to strenghten the invariant synthesis
Priority feature Status resolved
Superseder Nosy List gabi, malte
Assigned To gabi Keywords
Optional summary 


















Created on 2011-01-11.16:02:10 by gabi, last changed  by malte.






 
Files

 

  File name
  Uploaded
  Type
  Edit
  Remove
 

 

  
   issue204-search.exp-eval-d-abs.html
  
  
   gabi,
   2011-01-13.23:10:55
  
  text/html
  
  
  
   
  
 

 

  
   preprocess-d-abs.html
  
  
   gabi,
   2011-01-13.23:02:51
  
  text/html
  
  
  
   
  
 






 
Messages

 
  

   msg1185 (view)
   Author: malte
   Date: 2011-01-16.19:15:58
   
    
   
  

  

   
    
Merged.

   		
  

 
 
  

   msg1171 (view)
   Author: gabi
   Date: 2011-01-13.23:22:10
   
    
   
  

  

   
    
Yes, I think this can be merged (but note that the branch also contains the
changes from issue189, so maybe you really want to review it)

   		
  

 
 
  

   msg1170 (view)
   Author: malte
   Date: 2011-01-13.23:20:02
   
    
   
  

  

   
    
Scanalyzer tends to run out of resources with 30 mins/2 GB yes.

For what it's worth, I'm now using larger limits when preprocessing (2 hours/3
GB), which gets rid of the few translator/preprocessor failures we have
(Satellite, PSR-Large, Scanalyzer).

Very nice improvement in Scanalyzer!

Shall I merge this?

   		
  

 
 
  

   msg1169 (view)
   Author: gabi
   Date: 2011-01-13.23:18:33
   
    
   
  

  

   
    
Addendum: The merge and shrink results in the previous message are
for coverage (new vs old).

   		
  

 
 
  

   msg1168 (view)
   Author: gabi
   Date: 2011-01-13.23:10:55
   
    
   
  

  

   
    
Here are the results for merge and shrink (N = 10,000) for
the affected domains:

pegsol-08-strips 	25     26
scanalyzer-08-strips 	12      6
trucks-strips 	         6      6

In the scanalyzer domain, p28.pddl was not included, because
the translator did not terminate (killed by the time limit?).

   		
  

 
 
  

   msg1167 (view)
   Author: malte
   Date: 2011-01-13.23:07:13
   
    
   
  

  

   
    
Wonderful! Looking forward to the results for the experiment.

   		
  

 
 
  

   msg1166 (view)
   Author: gabi
   Date: 2011-01-13.23:02:51
   
    
   
  

  

   
    
Attached are the result for the translator and the preprocessor (new vs. old).
There number of variables changes only for the following domains:

                           new     old
pegsol-08-strips 	   994    1958
psr-large 	        376990  336633
scanalyzer-08-strips 	   624    4200
trucks-strips 	         41014   41012

The increase in psr-large is because these are sums
over different sets of instances (we can now translate
one task more). To determine the influence of these
changes I run a search experiment.

The changes in the runtime of the translator appear to
be uncritical.

   		
  

 
 
  

   msg1142 (view)
   Author: gabi
   Date: 2011-01-11.16:02:09
   
    
   
  

  

   
    
This idea came up in issue187 (cf. msg1079).

   		
  

 





History


Date
User
Action
Args



2011-01-16 19:15:58maltesetstatus: reviewing -> resolved
messages:
  + msg1185


2011-01-13 23:22:10gabisetmessages:
  + msg1171


2011-01-13 23:20:02maltesetmessages:
  + msg1170


2011-01-13 23:18:34gabisetmessages:
  + msg1169


2011-01-13 23:10:55gabisetstatus: in-progress -> reviewing
files:
  + issue204-search.exp-eval-d-abs.html
messages:
  + msg1168


2011-01-13 23:07:13maltesetmessages:
  + msg1167


2011-01-13 23:02:51gabisetfiles:
  + preprocess-d-abs.html
messages:
  + msg1166


2011-01-11 16:02:10gabicreate