#base.

% Domain: driverlog, Problem: DLOG-5-5-20
% 
% 
% OBJECTS  >>>>>
typedobject( location( s16 ) ).
typedobject( location( p313 ) ).
typedobject( location( p74 ) ).
typedobject( location( p166 ) ).
typedobject( location( p1312 ) ).
typedobject( location( p128 ) ).
typedobject( location( p118 ) ).
typedobject( location( p318 ) ).
typedobject( location( s19 ) ).
typedobject( obj( package20 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package9 ) ).
typedobject( location( s18 ) ).
typedobject( location( p515 ) ).
typedobject( location( p516 ) ).
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( s17 ) ).
typedobject( location( s13 ) ).
typedobject( location( p135 ) ).
typedobject( location( p615 ) ).
typedobject( location( s12 ) ).
typedobject( location( p619 ) ).
typedobject( location( p75 ) ).
typedobject( location( p70 ) ).
typedobject( location( s11 ) ).
typedobject( location( p1817 ) ).
typedobject( obj( package18 ) ).
typedobject( obj( package19 ) ).
typedobject( location( p210 ) ).
typedobject( location( p212 ) ).
typedobject( obj( package12 ) ).
typedobject( obj( package13 ) ).
typedobject( obj( package10 ) ).
typedobject( location( s10 ) ).
typedobject( obj( package16 ) ).
typedobject( obj( package17 ) ).
typedobject( obj( package14 ) ).
typedobject( obj( package15 ) ).
typedobject( location( p1011 ) ).
typedobject( location( p24 ) ).
typedobject( location( s15 ) ).
typedobject( location( p05 ) ).
typedobject( location( p19 ) ).
typedobject( location( p1710 ) ).
typedobject( location( p17 ) ).
typedobject( location( p09 ) ).
typedobject( location( s14 ) ).
typedobject( location( p188 ) ).
typedobject( location( p113 ) ).
typedobject( driver( driver1 ) ).
typedobject( driver( driver3 ) ).
typedobject( driver( driver2 ) ).
typedobject( driver( driver5 ) ).
typedobject( driver( driver4 ) ).
typedobject( obj( package11 ) ).
typedobject( location( p71 ) ).
typedobject( location( p52 ) ).
typedobject( location( p53 ) ).
typedobject( location( p184 ) ).
typedobject( location( p1918 ) ).
typedobject( location( p60 ) ).
typedobject( location( p1814 ) ).
typedobject( location( p610 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s0,s19 ) ).
holds( link( s14,s8 ) ).
holds( path( p1710,s17 ) ).
holds( path( s18,p188 ) ).
holds( link( s4,s3 ) ).
holds( link( s18,s17 ) ).
holds( path( p05,s5 ) ).
holds( link( s3,s5 ) ).
holds( path( s12,p1312 ) ).
holds( path( p313,s13 ) ).
holds( path( p1011,s10 ) ).
holds( path( p74,s4 ) ).
holds( path( s2,p52 ) ).
holds( link( s8,s14 ) ).
holds( path( p24,s4 ) ).
holds( link( s0,s13 ) ).
holds( path( s10,p1710 ) ).
holds( link( s9,s12 ) ).
holds( link( s7,s3 ) ).
holds( path( s1,p17 ) ).
holds( link( s6,s5 ) ).
holds( link( s7,s13 ) ).
holds( link( s8,s12 ) ).
holds( path( s15,p515 ) ).
holds( path( p188,s18 ) ).
holds( path( s12,p212 ) ).
holds( link( s9,s1 ) ).
holds( path( p24,s2 ) ).
holds( link( s18,s3 ) ).
holds( path( s2,p24 ) ).
holds( link( s8,s6 ) ).
holds( link( s6,s4 ) ).
holds( link( s8,s2 ) ).
holds( link( s18,s1 ) ).
holds( path( s8,p118 ) ).
holds( link( s18,s16 ) ).
holds( path( s18,p1814 ) ).
holds( link( s17,s12 ) ).
holds( link( s4,s16 ) ).
holds( path( s6,p60 ) ).
holds( link( s17,s15 ) ).
holds( link( s19,s11 ) ).
holds( path( s5,p515 ) ).
holds( link( s6,s14 ) ).
holds( link( s3,s4 ) ).
holds( link( s18,s2 ) ).
holds( path( s4,p74 ) ).
holds( link( s0,s7 ) ).
holds( link( s8,s7 ) ).
holds( link( s1,s9 ) ).
holds( path( s13,p313 ) ).
holds( link( s9,s5 ) ).
holds( path( p188,s8 ) ).
holds( path( p53,s3 ) ).
holds( link( s14,s6 ) ).
holds( link( s1,s7 ) ).
holds( link( s5,s9 ) ).
holds( path( p60,s0 ) ).
holds( link( s14,s12 ) ).
holds( path( s12,p128 ) ).
holds( path( s6,p166 ) ).
holds( path( p1312,s12 ) ).
holds( link( s13,s14 ) ).
holds( link( s14,s11 ) ).
holds( path( s6,p610 ) ).
holds( path( p1918,s18 ) ).
holds( path( p619,s19 ) ).
holds( path( p09,s9 ) ).
holds( link( s2,s18 ) ).
holds( link( s2,s15 ) ).
holds( link( s12,s14 ) ).
holds( path( p135,s13 ) ).
holds( path( p113,s3 ) ).
holds( path( p128,s12 ) ).
holds( link( s2,s11 ) ).
holds( path( s3,p318 ) ).
holds( link( s19,s16 ) ).
holds( path( p615,s15 ) ).
holds( path( p166,s6 ) ).
holds( link( s8,s11 ) ).
holds( link( s7,s15 ) ).
holds( path( s7,p74 ) ).
holds( path( s16,p166 ) ).
holds( path( s0,p05 ) ).
holds( path( p135,s5 ) ).
holds( path( s11,p113 ) ).
holds( link( s14,s13 ) ).
holds( link( s13,s1 ) ).
holds( path( s19,p1918 ) ).
holds( link( s13,s0 ) ).
holds( path( p515,s5 ) ).
holds( path( s14,p1814 ) ).
holds( path( p610,s6 ) ).
holds( link( s13,s17 ) ).
holds( path( s11,p1011 ) ).
holds( link( s14,s19 ) ).
holds( link( s17,s3 ) ).
holds( link( s11,s1 ) ).
holds( path( p210,s2 ) ).
holds( path( p19,s1 ) ).
holds( link( s3,s14 ) ).
holds( path( s7,p70 ) ).
holds( link( s17,s18 ) ).
holds( path( p1312,s13 ) ).
holds( path( p05,s0 ) ).
holds( path( s3,p313 ) ).
holds( link( s8,s9 ) ).
holds( path( p212,s2 ) ).
holds( path( s3,p53 ) ).
holds( path( s5,p52 ) ).
holds( link( s19,s0 ) ).
holds( path( p118,s11 ) ).
holds( link( s14,s4 ) ).
holds( link( s15,s17 ) ).
holds( path( s9,p09 ) ).
holds( path( p17,s7 ) ).
holds( link( s10,s13 ) ).
holds( link( s15,s2 ) ).
holds( path( s3,p113 ) ).
holds( path( s2,p212 ) ).
holds( link( s14,s7 ) ).
holds( path( s5,p135 ) ).
holds( path( p1817,s17 ) ).
holds( path( p212,s12 ) ).
holds( link( s6,s3 ) ).
holds( path( s11,p118 ) ).
holds( link( s13,s10 ) ).
holds( link( s18,s0 ) ).
holds( path( p1710,s10 ) ).
holds( path( s18,p184 ) ).
holds( link( s5,s1 ) ).
holds( path( s8,p128 ) ).
holds( path( s5,p516 ) ).
holds( link( s12,s9 ) ).
holds( path( p184,s18 ) ).
holds( link( s11,s12 ) ).
holds( link( s11,s4 ) ).
holds( link( s1,s5 ) ).
holds( link( s19,s8 ) ).
holds( link( s3,s7 ) ).
holds( path( p128,s8 ) ).
holds( link( s12,s1 ) ).
holds( path( p53,s5 ) ).
holds( path( s0,p09 ) ).
holds( path( p09,s0 ) ).
holds( link( s10,s0 ) ).
holds( path( s7,p17 ) ).
holds( link( s9,s4 ) ).
holds( link( s9,s13 ) ).
holds( link( s3,s1 ) ).
holds( path( p210,s10 ) ).
holds( path( s4,p184 ) ).
holds( path( p75,s5 ) ).
holds( link( s14,s16 ) ).
holds( link( s5,s6 ) ).
holds( link( s12,s11 ) ).
holds( path( p615,s6 ) ).
holds( link( s13,s7 ) ).
holds( link( s7,s1 ) ).
holds( path( p75,s7 ) ).
holds( link( s10,s18 ) ).
holds( link( s12,s8 ) ).
holds( path( s6,p619 ) ).
holds( path( s17,p1710 ) ).
holds( link( s5,s3 ) ).
holds( link( s11,s8 ) ).
holds( path( s10,p210 ) ).
holds( link( s15,s7 ) ).
holds( link( s4,s17 ) ).
holds( path( p516,s16 ) ).
holds( link( s8,s19 ) ).
holds( link( s14,s2 ) ).
holds( path( p74,s7 ) ).
holds( path( s8,p188 ) ).
holds( link( s7,s8 ) ).
holds( path( s0,p60 ) ).
holds( path( p166,s16 ) ).
holds( path( s18,p1918 ) ).
holds( path( p515,s15 ) ).
holds( path( s13,p135 ) ).
holds( link( s11,s2 ) ).
holds( link( s0,s8 ) ).
holds( link( s1,s13 ) ).
holds( link( s1,s11 ) ).
holds( path( s5,p53 ) ).
holds( path( s13,p1312 ) ).
holds( link( s9,s8 ) ).
holds( path( p313,s3 ) ).
holds( path( p113,s11 ) ).
holds( path( s17,p1817 ) ).
holds( link( s3,s6 ) ).
holds( path( s16,p516 ) ).
holds( link( s3,s18 ) ).
holds( path( s4,p24 ) ).
holds( link( s17,s8 ) ).
holds( link( s2,s6 ) ).
holds( link( s16,s14 ) ).
holds( link( s0,s10 ) ).
holds( path( s5,p05 ) ).
holds( link( s17,s4 ) ).
holds( path( p1918,s19 ) ).
holds( link( s4,s9 ) ).
holds( path( p1817,s18 ) ).
holds( link( s0,s16 ) ).
holds( link( s13,s9 ) ).
holds( link( s1,s3 ) ).
holds( path( p19,s9 ) ).
holds( link( s9,s18 ) ).
holds( link( s6,s2 ) ).
holds( path( p1814,s14 ) ).
holds( path( p52,s2 ) ).
holds( path( s10,p610 ) ).
holds( path( p318,s18 ) ).
holds( path( p184,s4 ) ).
holds( link( s0,s18 ) ).
holds( link( s6,s8 ) ).
holds( path( s10,p1011 ) ).
holds( path( p52,s5 ) ).
holds( link( s4,s6 ) ).
holds( link( s2,s8 ) ).
holds( link( s16,s18 ) ).
holds( path( s1,p19 ) ).
holds( link( s1,s18 ) ).
holds( link( s7,s0 ) ).
holds( link( s17,s13 ) ).
holds( path( p118,s8 ) ).
holds( link( s11,s14 ) ).
holds( path( s19,p619 ) ).
holds( link( s16,s19 ) ).
holds( path( s15,p615 ) ).
holds( path( p70,s0 ) ).
holds( path( p1011,s11 ) ).
holds( path( p1814,s18 ) ).
holds( link( s3,s17 ) ).
holds( link( s12,s17 ) ).
holds( path( p318,s3 ) ).
holds( link( s4,s14 ) ).
holds( path( s18,p318 ) ).
holds( link( s7,s14 ) ).
holds( link( s19,s14 ) ).
holds( link( s16,s4 ) ).
holds( link( s4,s11 ) ).
holds( link( s1,s12 ) ).
holds( link( s18,s9 ) ).
holds( path( s5,p75 ) ).
holds( path( s6,p615 ) ).
holds( path( s7,p75 ) ).
holds( link( s2,s14 ) ).
holds( path( p60,s6 ) ).
holds( link( s18,s10 ) ).
holds( link( s8,s17 ) ).
holds( path( s18,p1817 ) ).
holds( link( s16,s0 ) ).
holds( path( s9,p19 ) ).
holds( path( p516,s5 ) ).
holds( path( p619,s6 ) ).
holds( path( s0,p70 ) ).
holds( link( s14,s3 ) ).
holds( path( p17,s1 ) ).
holds( link( s11,s19 ) ).
holds( link( s8,s0 ) ).
holds( path( p70,s7 ) ).
holds( path( p610,s10 ) ).
holds( path( s2,p210 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( package2,s18 ) ).
init( at( package10,s3 ) ).
init( at( package4,s2 ) ).
init( empty( truck4 ) ).
init( at( driver5,s4 ) ).
init( at( truck1,s12 ) ).
init( at( package17,s18 ) ).
init( empty( truck1 ) ).
init( at( package1,s3 ) ).
init( empty( truck2 ) ).
init( at( package13,s13 ) ).
init( at( truck5,s2 ) ).
init( at( driver1,s11 ) ).
init( at( truck4,s8 ) ).
init( at( package11,s16 ) ).
init( at( truck3,s8 ) ).
init( at( package6,s10 ) ).
init( empty( truck3 ) ).
init( empty( truck5 ) ).
init( at( truck2,s3 ) ).
init( at( package15,s3 ) ).
init( at( package20,s9 ) ).
init( at( package9,s18 ) ).
init( at( driver3,s1 ) ).
init( at( package19,s16 ) ).
init( at( package3,s0 ) ).
init( at( package8,s7 ) ).
init( at( package12,s10 ) ).
init( at( package16,s2 ) ).
init( at( package5,s3 ) ).
init( at( package7,s7 ) ).
init( at( driver2,s6 ) ).
init( at( driver4,s2 ) ).
init( at( package14,s14 ) ).
init( at( package18,s15 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver1,s1 ),true ).
goal( at( driver5,s9 ),true ).
goal( at( truck1,s17 ),true ).
goal( at( truck2,s0 ),true ).
goal( at( truck3,s3 ),true ).
goal( at( truck5,s9 ),true ).
goal( at( package1,s1 ),true ).
goal( at( package2,s7 ),true ).
goal( at( package4,s10 ),true ).
goal( at( package5,s15 ),true ).
goal( at( package6,s7 ),true ).
goal( at( package7,s10 ),true ).
goal( at( package9,s7 ),true ).
goal( at( package10,s10 ),true ).
goal( at( package11,s13 ),true ).
goal( at( package12,s12 ),true ).
goal( at( package13,s12 ),true ).
goal( at( package14,s15 ),true ).
goal( at( package15,s18 ),true ).
goal( at( package16,s8 ),true ).
goal( at( package17,s16 ),true ).
goal( at( package18,s3 ),true ).
goal( at( package19,s2 ),true ).
% <<<<<  GOAL
% 

