$ time scryer-prolog -g camels,halt camels.pl v3.pl 
% initial patterns:
[2,0,0].
[0,2,0].
[0,0,2].
% generated packing patterns:
[0,2,1].
[1,1,1].
% solution vector (coefficient of each pattern):
[0,0,1,0,13].

real	0m0.734s
user	0m0.709s
sys	0m0.023s