You should join a clown circus, with your basic   
   arithmetic ability. 2*16,742 ms = 33.484 ms.   
      
   But lets get down to serious business:   
   How do I "specify SBCL"?   
      
   Am Samstag, 1. Juli 2017 20:28:43 UTC+2 schrieb Richard Fateman:   
   >> ?- time(_ is (1000+V+W+Y+Z)^20).   
   >> % Up 16,742 ms, GC 2,477 ms, Thread Cpu 14,141 ms (Current 07/01/17   
   18:44:50)   
   >> Yes   
   > So on my computer I would guess that the time would be twice   
   > that, or 334.8 seconds.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)