<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <style type="text/css" style="display:none;"></style> </head> <body dir="ltr"> <div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr"> <p>Paul,</p> <p><br> </p> <p>You didn't show in your invocation of PET that you added the "-packing" option, but you should.</p> <p><br> </p> <p> Dan<br> </p> <br> <div style="color: rgb(0, 0, 0);"> <hr tabindex="-1" style="display:inline-block; width:98%"> <div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>From:</b> developers-bounces@emmtee.net <developers-bounces@emmtee.net> on behalf of Paul Haley <paul@haleyai.com><br> <b>Sent:</b> Thursday, May 25, 2017 9:08 AM<br> <b>To:</b> developers@delph-in.net<br> <b>Subject:</b> [developers] PET performance (on-line)</font> <div> </div> </div> <div> <div style=""> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> Greetings,</p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;">  </p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> In a clean build of PET (on a Docker-hosted Ubuntu 16 image built using dockerfiles I'm happy to share), PET is timing out using the ERG for the following sentence and command line:</p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;">  </p> <ul style="margin-top: 0in; margin-bottom: 0in;" type="disc"> <li style="margin: 0in 0in 0.0001pt 0.5in; font-size: 11pt; font-family: "Calibri",sans-serif;"> It is fine if there are some white streaks left in the batter before you add the second half.</li><li style="margin: 0in 0in 0.0001pt 0.5in; font-size: 11pt; font-family: "Calibri",sans-serif;"> cheap -cm -repp -memlimit=8000 -timeout=120 english.grm</li></ul> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;">  </p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> On the other hand, the on-line demo responds in 5.4 seconds.</p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;">  </p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> How is the on-line demo so fast?</p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;">  </p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> Thank you for any insights,</p> <p style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: "Calibri",sans-serif;"> Paul</p> </div> </div> </div> </div> </body> </html>