set(arithmetic).
assign(domain_size,10). 
assign(max_models,-1).

list(distinct).
 [0,b1,b2,b3,b4,b5,b6,b7,b8,b9]. 
end_of_list.

formulas(nine_barrels).
  r(x,y)  <-> x > y.
  on(x,y) <-> x < y. 
  
  on(b1,b4) & on(b2,b5) & on(b3,b6) & on(b4,b7) & on(b5,b8) & on(b6,b9).
  r(b2,b1)  & r(b3,b2)  & r(b5,b4)  & r(b6,b5)  & r(b8,b7)  & r(b9,b8).
end_of_list.
