g3:/opt/gupu/src/yap-6/arch> yap-6 -g run
% Restoring file /opt/gupu/src/yap-6/arch/startup.yss
YAP version Yap-6.0.0
 % reconsulting /nfs/ahome/ulrich/.yaprc...
  % reconsulting /opt/gupu/yap-6/share/Yap/timeout.yap...
   % reconsulting /opt/gupu/yap-6/share/Yap/hacks.yap...
   % reconsulted /opt/gupu/yap-6/share/Yap/hacks.yap in module yap_hacks, 4 msec 8016 bytes
  % reconsulted /opt/gupu/yap-6/share/Yap/timeout.yap in module timeout, 4 msec 13936 bytes
  % reconsulting /opt/gupu/yap-6/share/Yap/clpfd.pl...
  % reconsulted /opt/gupu/yap-6/share/Yap/clpfd.pl in module clpfd, 44 msec 1609392 bytes
  % reconsulting /nfs/ahome/ulrich/ftp/yap-prolog/library/pio.pl...
  % reconsulted /nfs/ahome/ulrich/ftp/yap-prolog/library/pio.pl in module pio, 4 msec 44656 bytes
  % reconsulting /nfs/ahome/ulrich/ftp/yap-prolog/library/item80.pl...
  % reconsulted /nfs/ahome/ulrich/ftp/yap-prolog/library/item80.pl in module user, 4 msec 15440 bytes
  % reconsulting /nfs/ahome/ulrich/ftp/yap-prolog/library/timeout_granularity.pl...
  % reconsulted /nfs/ahome/ulrich/ftp/yap-prolog/library/timeout_granularity.pl in module user, 0 msec 11184 bytes
 % reconsulted /nfs/ahome/ulrich/.yaprc in module user, 56 msec 1754064 bytes
1:[8..9,171269..184433,20188.8888888889..23054.125].
2:[8..9,179188..184888,20193.3333333333..23111.0].
3:[8..9,179311..184399,20192.3333333333..23049.875].
4:[8..9,179371..184426,20056.4444444444..23053.25].
5:[12..13,269575..276849,20986.6153846154..23070.75].
6:[12..13,269071..276710,20984.5384615385..23059.1666666667].
7:[12..13,269339..276806,20965.6923076923..23067.1666666667].
8:[12..13,269839..276687,20991.0769230769..23057.25].
9:[16..17,359965..369330,21398.1176470588..23083.125].
10:[16..17,358936..369112,21404.5882352941..23069.5].
11:[16..17,359413..369158,21391.7058823529..23072.375].
12:[16..17,359747..369074,21405.8823529412..23067.125].
13:[20..21,448953..461356,21664.5238095238..23067.8].
14:[20..21,449627..461662,21589.0..23083.1].
15:[20..21,448546..461539,21668.619047619..23076.95].
16:[20..21,449117..461458,21386.5238095238..23072.9].
17:[24..25,539923..554031,21836.52..23084.625].
18:[24..25,539114..554023,21838.56..23084.2916666667].
19:[24..25,539039..553910,21845.04..23079.5833333333].
20:[24..25,539326..553890,21844.68..23078.75].
21:[28..29,628788..646021,21948.5517241379..23072.1785714286].
22:[28..29,629544..646368,21973.4827586207..23084.5714285714].
23:[28..29,629660..646306,21945.1034482759..23082.3571428571].
24:[28..29,628726..646277,21974.5862068966..23081.3214285714].
25:[32..33,719819..737885,22064.0303030303..23058.90625].
26:[32..33,719969..738254,21995.4545454545..23070.4375].
27:[32..33,720016..739002,22068.3333333333..23093.8125].
28:[32..33,719610..739106,21806.3636363636..23097.0625].
29:[36..37,809443..831181,22047.8108108108..23088.3611111111].
30:[36..37,809032..830886,22063.7297297297..23080.1666666667].
31:[36..37,810162..831088,22145.5675675676..23085.7777777778].
32:[36..37,808898..830973,22145.8378378378..23082.5833333333].
33:[40..41,900265..923349,22126.4634146341..23083.725].
34:[40..41,899885..923104,22208.7317073171..23077.6].
35:[40..41,899666..922452,22176.3658536585..23061.3].
36:[40..41,899955..922650,22201.512195122..23066.25].
37:[44..45,989671..1015601,22126.6..23081.8409090909].
38:[44..45,989577..1015387,21990.6..23076.9772727273].
39:[44..45,988974..1015144,22251.2666666667..23071.4545454545].
40:[44..45,994856..1015780,22258.5111111111..23085.9090909091].
41:[48..49,1080132..1107764,22274.4081632653..23078.4166666667].
42:[48..49,1078547..1108188,22283.8367346939..23087.25].
43:[48..49,1080165..1107608,22301.2244897959..23075.1666666667].
44:[48..49,1083437..1107741,22128.4693877551..23077.9375].
45:[52..53,1177079..1200157,22226.2075471698..23079.9423076923].
46:[52..53,1168111..1200670,22208.1509433962..23089.8076923077].
47:[52..53,1169217..1199905,22081.1132075472..23073.4615384615].
48:[52..53,1112476..1200639,20990.1132075472..23089.2115384615].
49:[56..57,1260363..1292900,22366.2280701754..23087.5].
50:[56..57,1166731..1291972,20834.4821428571..23070.9285714286].