picat

32.24%
12,076 1,743 270 29 3 1 18,790