#base.

% Domain: driverlog, Problem: DLOG-5-5-10
% 
% 
% OBJECTS  >>>>>
typedobject( location( p1314 ) ).
typedobject( location( p310 ) ).
typedobject( location( p311 ) ).
typedobject( location( p149 ) ).
typedobject( location( p148 ) ).
typedobject( location( p100 ) ).
typedobject( location( p140 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package9 ) ).
typedobject( location( p514 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( obj( package7 ) ).
typedobject( truck( truck5 ) ).
typedobject( truck( truck4 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( location( s3 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s7 ) ).
typedobject( location( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( location( p96 ) ).
typedobject( location( p94 ) ).
typedobject( location( p1214 ) ).
typedobject( location( p79 ) ).
typedobject( location( p90 ) ).
typedobject( location( s11 ) ).
typedobject( location( p98 ) ).
typedobject( location( s13 ) ).
typedobject( location( s12 ) ).
typedobject( obj( package10 ) ).
typedobject( location( s10 ) ).
typedobject( location( s14 ) ).
typedobject( location( p01 ) ).
typedobject( location( p26 ) ).
typedobject( location( p23 ) ).
typedobject( location( p04 ) ).
typedobject( location( p15 ) ).
typedobject( location( p12 ) ).
typedobject( location( p713 ) ).
typedobject( location( p139 ) ).
typedobject( location( p124 ) ).
typedobject( location( p131 ) ).
typedobject( driver( driver1 ) ).
typedobject( driver( driver3 ) ).
typedobject( driver( driver2 ) ).
typedobject( driver( driver5 ) ).
typedobject( driver( driver4 ) ).
typedobject( location( p46 ) ).
typedobject( location( p40 ) ).
typedobject( location( p812 ) ).
typedobject( location( p37 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s0,s13 ) ).
holds( link( s10,s3 ) ).
holds( path( s1,p01 ) ).
holds( link( s0,s6 ) ).
holds( path( s8,p148 ) ).
holds( path( s3,p310 ) ).
holds( path( p1214,s12 ) ).
holds( path( p100,s0 ) ).
holds( path( p79,s7 ) ).
holds( path( s9,p94 ) ).
holds( link( s12,s0 ) ).
holds( link( s7,s2 ) ).
holds( path( s13,p713 ) ).
holds( link( s6,s7 ) ).
holds( link( s7,s9 ) ).
holds( link( s10,s2 ) ).
holds( link( s12,s14 ) ).
holds( path( s2,p23 ) ).
holds( path( s3,p37 ) ).
holds( link( s8,s1 ) ).
holds( path( s6,p26 ) ).
holds( path( p514,s5 ) ).
holds( link( s8,s3 ) ).
holds( link( s6,s5 ) ).
holds( link( s8,s0 ) ).
holds( path( s9,p139 ) ).
holds( link( s5,s3 ) ).
holds( path( s1,p15 ) ).
holds( path( s10,p310 ) ).
holds( link( s3,s10 ) ).
holds( path( s0,p100 ) ).
holds( link( s8,s6 ) ).
holds( link( s4,s7 ) ).
holds( link( s1,s8 ) ).
holds( path( s14,p514 ) ).
holds( link( s1,s6 ) ).
holds( path( s7,p79 ) ).
holds( link( s1,s2 ) ).
holds( link( s6,s1 ) ).
holds( path( p01,s1 ) ).
holds( path( s13,p1314 ) ).
holds( path( s9,p149 ) ).
holds( path( p148,s8 ) ).
holds( link( s6,s14 ) ).
holds( path( p90,s9 ) ).
holds( path( p96,s6 ) ).
holds( path( s2,p12 ) ).
holds( path( p140,s14 ) ).
holds( path( p131,s1 ) ).
holds( path( p1314,s13 ) ).
holds( link( s7,s13 ) ).
holds( path( p812,s12 ) ).
holds( path( p94,s4 ) ).
holds( path( p149,s9 ) ).
holds( link( s10,s0 ) ).
holds( link( s7,s11 ) ).
holds( path( s10,p100 ) ).
holds( path( s14,p149 ) ).
holds( path( p15,s1 ) ).
holds( path( p140,s0 ) ).
holds( path( s13,p131 ) ).
holds( link( s11,s2 ) ).
holds( link( s14,s12 ) ).
holds( path( s0,p01 ) ).
holds( path( p26,s6 ) ).
holds( path( s14,p1214 ) ).
holds( link( s0,s5 ) ).
holds( link( s10,s1 ) ).
holds( path( s0,p04 ) ).
holds( path( s1,p12 ) ).
holds( link( s3,s12 ) ).
holds( path( s9,p98 ) ).
holds( path( p148,s14 ) ).
holds( path( s9,p79 ) ).
holds( path( s11,p311 ) ).
holds( link( s6,s10 ) ).
holds( path( p26,s2 ) ).
holds( path( p514,s14 ) ).
holds( path( p12,s1 ) ).
holds( link( s13,s0 ) ).
holds( path( p139,s13 ) ).
holds( link( s2,s5 ) ).
holds( path( p04,s0 ) ).
holds( path( p311,s3 ) ).
holds( path( s1,p131 ) ).
holds( path( p46,s4 ) ).
holds( link( s10,s7 ) ).
holds( path( s0,p140 ) ).
holds( path( s12,p812 ) ).
holds( link( s11,s3 ) ).
holds( path( s13,p139 ) ).
holds( link( s11,s0 ) ).
holds( link( s5,s7 ) ).
holds( path( s14,p1314 ) ).
holds( path( p713,s13 ) ).
holds( link( s0,s12 ) ).
holds( link( s13,s11 ) ).
holds( link( s13,s10 ) ).
holds( link( s7,s5 ) ).
holds( link( s2,s7 ) ).
holds( path( p1314,s14 ) ).
holds( link( s13,s1 ) ).
holds( path( p37,s7 ) ).
holds( path( s4,p04 ) ).
holds( path( p713,s7 ) ).
holds( link( s12,s10 ) ).
holds( path( p12,s2 ) ).
holds( link( s10,s5 ) ).
holds( link( s12,s5 ) ).
holds( link( s14,s0 ) ).
holds( path( s0,p90 ) ).
holds( path( p124,s4 ) ).
holds( link( s7,s6 ) ).
holds( link( s11,s13 ) ).
holds( path( p94,s9 ) ).
holds( link( s9,s7 ) ).
holds( link( s2,s1 ) ).
holds( path( p124,s12 ) ).
holds( link( s13,s2 ) ).
holds( link( s2,s10 ) ).
holds( path( s9,p96 ) ).
holds( link( s6,s0 ) ).
holds( link( s0,s10 ) ).
holds( path( p15,s5 ) ).
holds( link( s11,s7 ) ).
holds( path( p311,s11 ) ).
holds( link( s1,s3 ) ).
holds( path( p100,s10 ) ).
holds( link( s7,s4 ) ).
holds( path( p23,s2 ) ).
holds( path( p149,s14 ) ).
holds( path( s5,p514 ) ).
holds( path( s14,p140 ) ).
holds( link( s13,s7 ) ).
holds( link( s0,s1 ) ).
holds( link( s2,s11 ) ).
holds( link( s1,s10 ) ).
holds( path( s7,p713 ) ).
holds( path( s14,p148 ) ).
holds( link( s10,s6 ) ).
holds( path( p23,s3 ) ).
holds( path( p131,s13 ) ).
holds( link( s3,s11 ) ).
holds( path( s3,p23 ) ).
holds( path( p90,s0 ) ).
holds( link( s4,s10 ) ).
holds( link( s3,s0 ) ).
holds( link( s10,s12 ) ).
holds( path( s5,p15 ) ).
holds( link( s5,s10 ) ).
holds( link( s5,s12 ) ).
holds( link( s0,s14 ) ).
holds( path( s2,p26 ) ).
holds( link( s12,s6 ) ).
holds( link( s0,s3 ) ).
holds( path( s6,p46 ) ).
holds( path( p01,s0 ) ).
holds( path( s4,p46 ) ).
holds( link( s0,s11 ) ).
holds( link( s3,s8 ) ).
holds( path( s12,p1214 ) ).
holds( path( p812,s8 ) ).
holds( link( s5,s6 ) ).
holds( link( s0,s8 ) ).
holds( path( s3,p311 ) ).
holds( link( s6,s8 ) ).
holds( path( p139,s9 ) ).
holds( link( s14,s6 ) ).
holds( path( s6,p96 ) ).
holds( path( s4,p94 ) ).
holds( path( p98,s8 ) ).
holds( path( p1214,s14 ) ).
holds( link( s5,s0 ) ).
holds( path( s7,p37 ) ).
holds( link( s5,s2 ) ).
holds( path( p37,s3 ) ).
holds( link( s7,s10 ) ).
holds( link( s3,s5 ) ).
holds( link( s10,s13 ) ).
holds( link( s1,s13 ) ).
holds( link( s6,s12 ) ).
holds( path( s4,p124 ) ).
holds( path( p79,s9 ) ).
holds( path( s12,p124 ) ).
holds( link( s3,s1 ) ).
holds( path( p310,s10 ) ).
holds( link( s2,s13 ) ).
holds( link( s10,s4 ) ).
holds( path( p310,s3 ) ).
holds( path( p04,s4 ) ).
holds( path( p96,s9 ) ).
holds( path( s8,p98 ) ).
holds( link( s12,s3 ) ).
holds( path( p46,s6 ) ).
holds( link( s1,s0 ) ).
holds( path( p98,s9 ) ).
holds( path( s9,p90 ) ).
holds( path( s8,p812 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( driver5,s12 ) ).
init( at( driver2,s1 ) ).
init( empty( truck4 ) ).
init( at( truck4,s13 ) ).
init( at( package7,s12 ) ).
init( empty( truck1 ) ).
init( at( package5,s11 ) ).
init( empty( truck2 ) ).
init( at( truck3,s2 ) ).
init( at( package10,s7 ) ).
init( at( package3,s4 ) ).
init( empty( truck3 ) ).
init( empty( truck5 ) ).
init( at( truck2,s1 ) ).
init( at( package2,s14 ) ).
init( at( truck1,s7 ) ).
init( at( package8,s8 ) ).
init( at( driver3,s0 ) ).
init( at( package4,s3 ) ).
init( at( package1,s0 ) ).
init( at( truck5,s3 ) ).
init( at( package9,s2 ) ).
init( at( package6,s7 ) ).
init( at( driver4,s10 ) ).
init( at( driver1,s14 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver1,s12 ),true ).
goal( at( driver2,s11 ),true ).
goal( at( driver3,s11 ),true ).
goal( at( driver4,s12 ),true ).
goal( at( driver5,s11 ),true ).
goal( at( truck1,s5 ),true ).
goal( at( truck2,s6 ),true ).
goal( at( truck3,s8 ),true ).
goal( at( truck4,s12 ),true ).
goal( at( truck5,s14 ),true ).
goal( at( package1,s13 ),true ).
goal( at( package2,s0 ),true ).
goal( at( package4,s11 ),true ).
goal( at( package5,s9 ),true ).
goal( at( package6,s2 ),true ).
goal( at( package7,s3 ),true ).
goal( at( package8,s6 ),true ).
goal( at( package9,s4 ),true ).
goal( at( package10,s8 ),true ).
% <<<<<  GOAL
% 

