$ time scryer-prolog -g camels,halt camels.pl v21.pl % initial patterns: [7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11,0]. [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1]. % generated packing patterns: [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3,0]. [1,1,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0]. [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0]. [1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0]. [0,0,1,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0]. [0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0]. % solution vector (coefficient of each pattern): [0,0,0,41,70,71,94,2,0,0,10,62,1,85,34,67,79,0,0,0,24,51,0,7,78,66,25]. real 0m7.769s user 0m7.562s sys 0m0.193s