?- time(camels).
% 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].
% 104,785 inferences, 0.025 CPU in 0.025 seconds (98% CPU, 4239561 Lips)
true.