Id: euler.yap 8281 2015-07-14 08:26:02Z josd SWI-Prolog 7.3.4 (x86_64-linux): Jul 8 2015, 12:39:00 starting 21 [msec cputime] 18 [msec walltime] GET - SC=110000 networking 1947 [msec cputime] 7393 [msec walltime] TC=0 TP=0 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 3473 [msec cputime] 3470 [msec walltime] [2015-07-14T14:56:15.749Z] in=110000 out=110000 inf=29213083 sec=10.881 inf/sec=2684779 Id: euler.yap 8281 2015-07-14 08:26:02Z josd SWI-Prolog 7.3.4 (x86_64-linux): Jul 8 2015, 12:39:00 starting 25 [msec cputime] 22 [msec walltime] GET - SC=110000 networking 1759 [msec cputime] 6954 [msec walltime] TC=0 TP=0 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 3581 [msec cputime] 3580 [msec walltime] [2015-07-14T14:56:26.316Z] in=110000 out=110000 inf=29213083 sec=10.556 inf/sec=2767439