BMARK_brev_3000_times_300_elem_nrev: = [klips = 213051.5625,time = 0.64,length = 300,iterations = 3000,heap = 378028,trail = 0,stack = 0]
dec 1, 1992 is: tue
BMARK_cal = [fools_days = 100000,time(79 = 125-46-(46-46))]
rewriting...
proving...
BMARK_boyer time : time(78)+heap(216772)
time(62)+route([1,5,6,3,4,7,2,1])
tak(18,12,6) = 7

BMARK_tak: = [time = 0,heap = 173412]
execute with -h20000 option
[BMARK_allperms,nondet] = [time = 0,heap = 60]
[BMARK_allperms,determ] = [time = 16,heap = 4626860]
[BMARK_allperms,with_fast_findall] = [time = 78,heap = 4999920]
[BMARK_allperms,with_findall] = [time = 62,heap = 4999912]
[BMARK_allperms,with_engine] = [time = 47,heap = 3387248]
runtime=[140,109]
global_stack=[20026924,387572]
local_stack=[124,260984]
trail=[680,2046292]
code=[261292,787268]
strings=[420,1048156]
symbols=[13116,249028]
htable=[114504,671928]
bboard=[9508,512728]
gctime=[0,0]
realtime=[0,369473523]
runtime=[343,203]
global_stack=[10232312,10182184]
local_stack=[148,260960]
trail=[8,2046964]
code=[261292,787268]
strings=[420,1048156]
symbols=[13116,249028]
htable=[114504,671928]
bboard=[9508,512728]
gctime=[47,47]
realtime=[0,369473523]
time(0)
runtime=[359,0]
global_stack=[10232328,10182168]
local_stack=[148,260960]
trail=[8,2046964]
code=[261292,787268]
strings=[420,1048156]
symbols=[13116,249028]
htable=[114504,671928]
bboard=[9508,512728]
gctime=[47,0]
realtime=[0,369473523]
T overall loop:   0
T compens loop:   0
T net:            0
Lips:            T overall loop:   0
T compens loop:   38172
T net:            -38172
Lips:            -5239

T overall loop:   203
T compens loop:   0
T net:            203
Lips:            985221

T overall loop:   156
T compens loop:   0
T net:            156
Lips:            1282051

BMARK_choice: = [time = 38531,stack = 5600120,heap = 128216,trail = -624]

start;
goto2(box(3),room(1));
pushto(box(3),door(1),room(1));
goto2(box(2),room(1));
pushto(box(2),box(3),room(1));
goto2(box(1),room(1));
pushto(box(1),lightswitch(1),room(1));
climbon(box(1));
turnon(lightswitch(1));
climboff(box(1));
goto2(box(1),room(1));
pushto(box(1),box(2),room(1));
goto2(door(1),room(1));
gothru(door(1),room(1),room(5));
goto2(door(2),room(5));
gothru(door(2),room(5),room(2)).

0 microsecs.

BMARK_chat: = [time-16]