Execution of the MAC example on a SUN SPARCstation ELC:
-------------------------------------------------------

michael@mpii02003(24)% awam mac33
A-WAM -- Bytecode Interpreter, Version 0.5.5
Elapsed time: 695.62s
solve([boat(set([taylor,umugu])),boat(set([taylor])),
       boat(set([nzwawe,amoc])),boat(set([umugu])),
       boat(set([taylor,helen])),boat(set([taylor,nzwawe])),
       boat(set([taylor,william])),boat(set([amoc])),
       boat(set([umugu,nzwawe])),boat(set([taylor])),
       boat(set([taylor,amoc]))])  


michael@mpii02003(25)% awam mac32
A-WAM -- Bytecode Interpreter, Version 0.5.5
Elapsed time: 0.33s
solve([boat(set([taylor,umugu])),boat(set([taylor])),
       boat(set([taylor,helen])),boat(set([taylor])),
       boat(set([taylor,william])),boat(set([taylor])),
       boat(set([taylor,nzwawe]))]) 

michael@mpii02003(26)% awam mac22
A-WAM -- Bytecode Interpreter, Version 0.5.5
Elapsed time: 0.23s
solve([boat(set([taylor,umugu])),boat(set([taylor])),
       boat(set([taylor,helen])),boat(set([taylor])),
       boat(set([taylor,nzwawe]))]) 

