
--- query ---
usesAnyIn

--- evidence (lorenzExample.blogdb) ---
mealT(M)=Lunch
takesPartIn(P1,M)=True
takesPartIn(P2,M)=True
takesPartIn(P3,M)=True
name(P1)=Anna
name(P2)=Bert
name(P3)=Dorothy

Starting MC-SAT...

reading MLN...
materializing formula templates...
ground atoms: 475
ground formulas: 58450
normalizing weights...
converting formulas to CNF...
gathering clause data...
getting blocks...
reading evidence...
evidence blocks: 7
block exclusions: 0
initializing 1 chain(s)...
sampling... time elapsed: 0:00:26.039
step 1 (40990 constraints were to be satisfied), time elapsed: 0:00:42.383
0.000000  usesAnyIn(P1,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Glass,M)    [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Spoon,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Spoon,M)    [1x1 steps, sd=0.000]
step 2 (40978 constraints were to be satisfied), time elapsed: 0:00:55.102
0.000000  usesAnyIn(P1,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P1,Glass,M)    [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P2,Spoon,M)    [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P3,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P3,Spoon,M)    [1x2 steps, sd=0.000]
step 3 (40995 constraints were to be satisfied), time elapsed: 0:01:31.904
0.000000  usesAnyIn(P1,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P1,Glass,M)    [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x3 steps, sd=0.000]
0.333333  usesAnyIn(P2,Spoon,M)    [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P3,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P3,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x3 steps, sd=0.000]
step 4 (40987 constraints were to be satisfied), time elapsed: 0:02:24.580
0.000000  usesAnyIn(P1,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P1,Glass,M)    [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x4 steps, sd=0.000]
0.500000  usesAnyIn(P2,Spoon,M)    [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P3,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P3,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P3,Spoon,M)    [1x4 steps, sd=0.000]
step 5 (40986 constraints were to be satisfied), time elapsed: 0:02:30.436
0.000000  usesAnyIn(P1,Bowl,M)     [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x5 steps, sd=0.000]
0.800000  usesAnyIn(P1,Glass,M)    [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P1,Knife,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x5 steps, sd=0.000]
0.600000  usesAnyIn(P2,Spoon,M)    [1x5 steps, sd=0.000]
0.800000  usesAnyIn(P3,Bowl,M)     [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P3,Knife,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x5 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x5 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x5 steps, sd=0.000]
0.800000  usesAnyIn(P3,Spoon,M)    [1x5 steps, sd=0.000]
step 6 (40961 constraints were to be satisfied), time elapsed: 0:02:38.997
0.000000  usesAnyIn(P1,Bowl,M)     [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x6 steps, sd=0.000]
0.833333  usesAnyIn(P1,Glass,M)    [1x6 steps, sd=0.000]
0.833333  usesAnyIn(P1,Knife,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x6 steps, sd=0.000]
0.666667  usesAnyIn(P2,Spoon,M)    [1x6 steps, sd=0.000]
0.666667  usesAnyIn(P3,Bowl,M)     [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x6 steps, sd=0.000]
0.833333  usesAnyIn(P3,Knife,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x6 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x6 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x6 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x6 steps, sd=0.000]
step 7 (40980 constraints were to be satisfied), time elapsed: 0:04:08.046
0.000000  usesAnyIn(P1,Bowl,M)     [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x7 steps, sd=0.000]
0.857143  usesAnyIn(P1,Glass,M)    [1x7 steps, sd=0.000]
0.714286  usesAnyIn(P1,Knife,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P1,Spoon,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x7 steps, sd=0.000]
0.714286  usesAnyIn(P2,Spoon,M)    [1x7 steps, sd=0.000]
0.571429  usesAnyIn(P3,Bowl,M)     [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x7 steps, sd=0.000]
0.714286  usesAnyIn(P3,Knife,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x7 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x7 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x7 steps, sd=0.000]
0.571429  usesAnyIn(P3,Spoon,M)    [1x7 steps, sd=0.000]
step 8 (40969 constraints were to be satisfied), time elapsed: 0:04:33.554
0.125000  usesAnyIn(P1,Bowl,M)     [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x8 steps, sd=0.000]
0.875000  usesAnyIn(P1,Glass,M)    [1x8 steps, sd=0.000]
0.625000  usesAnyIn(P1,Knife,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x8 steps, sd=0.000]
0.125000  usesAnyIn(P1,Spoon,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P2,Bowl,M)     [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x8 steps, sd=0.000]
0.875000  usesAnyIn(P2,Knife,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x8 steps, sd=0.000]
0.750000  usesAnyIn(P2,Spoon,M)    [1x8 steps, sd=0.000]
0.625000  usesAnyIn(P3,Bowl,M)     [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P3,Glass,M)    [1x8 steps, sd=0.000]
0.625000  usesAnyIn(P3,Knife,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x8 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x8 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x8 steps, sd=0.000]
0.625000  usesAnyIn(P3,Spoon,M)    [1x8 steps, sd=0.000]
step 9 (40996 constraints were to be satisfied), time elapsed: 0:04:39.906
0.222222  usesAnyIn(P1,Bowl,M)     [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x9 steps, sd=0.000]
0.888889  usesAnyIn(P1,Glass,M)    [1x9 steps, sd=0.000]
0.666667  usesAnyIn(P1,Knife,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x9 steps, sd=0.000]
0.222222  usesAnyIn(P1,Spoon,M)    [1x9 steps, sd=0.000]
0.111111  usesAnyIn(P2,Bowl,M)     [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x9 steps, sd=0.000]
0.777778  usesAnyIn(P2,Knife,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x9 steps, sd=0.000]
0.777778  usesAnyIn(P2,Spoon,M)    [1x9 steps, sd=0.000]
0.666667  usesAnyIn(P3,Bowl,M)     [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x9 steps, sd=0.000]
0.888889  usesAnyIn(P3,Glass,M)    [1x9 steps, sd=0.000]
0.555556  usesAnyIn(P3,Knife,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x9 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x9 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x9 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x9 steps, sd=0.000]
step 10 (40986 constraints were to be satisfied), time elapsed: 0:05:23.641
0.300000  usesAnyIn(P1,Bowl,M)     [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x10 steps, sd=0.000]
0.900000  usesAnyIn(P1,Glass,M)    [1x10 steps, sd=0.000]
0.700000  usesAnyIn(P1,Knife,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x10 steps, sd=0.000]
0.300000  usesAnyIn(P1,Spoon,M)    [1x10 steps, sd=0.000]
0.200000  usesAnyIn(P2,Bowl,M)     [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x10 steps, sd=0.000]
0.700000  usesAnyIn(P2,Knife,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x10 steps, sd=0.000]
0.800000  usesAnyIn(P2,Spoon,M)    [1x10 steps, sd=0.000]
0.700000  usesAnyIn(P3,Bowl,M)     [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x10 steps, sd=0.000]
0.900000  usesAnyIn(P3,Glass,M)    [1x10 steps, sd=0.000]
0.500000  usesAnyIn(P3,Knife,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x10 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x10 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x10 steps, sd=0.000]
0.700000  usesAnyIn(P3,Spoon,M)    [1x10 steps, sd=0.000]
step 11 (40968 constraints were to be satisfied), time elapsed: 0:05:57.946
0.272727  usesAnyIn(P1,Bowl,M)     [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x11 steps, sd=0.000]
0.909091  usesAnyIn(P1,Glass,M)    [1x11 steps, sd=0.000]
0.636364  usesAnyIn(P1,Knife,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x11 steps, sd=0.000]
0.272727  usesAnyIn(P1,Spoon,M)    [1x11 steps, sd=0.000]
0.272727  usesAnyIn(P2,Bowl,M)     [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x11 steps, sd=0.000]
0.636364  usesAnyIn(P2,Knife,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x11 steps, sd=0.000]
0.818182  usesAnyIn(P2,Spoon,M)    [1x11 steps, sd=0.000]
0.727273  usesAnyIn(P3,Bowl,M)     [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x11 steps, sd=0.000]
0.909091  usesAnyIn(P3,Glass,M)    [1x11 steps, sd=0.000]
0.454545  usesAnyIn(P3,Knife,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x11 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x11 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x11 steps, sd=0.000]
0.727273  usesAnyIn(P3,Spoon,M)    [1x11 steps, sd=0.000]
step 12 (40986 constraints were to be satisfied), time elapsed: 0:06:07.602
0.250000  usesAnyIn(P1,Bowl,M)     [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x12 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x12 steps, sd=0.000]
0.916667  usesAnyIn(P1,Glass,M)    [1x12 steps, sd=0.000]
0.666667  usesAnyIn(P1,Knife,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x12 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x12 steps, sd=0.000]
0.250000  usesAnyIn(P1,Spoon,M)    [1x12 steps, sd=0.000]
0.250000  usesAnyIn(P2,Bowl,M)     [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x12 steps, sd=0.000]
0.916667  usesAnyIn(P2,Fork,M)     [1x12 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x12 steps, sd=0.000]
0.583333  usesAnyIn(P2,Knife,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x12 steps, sd=0.000]
0.916667  usesAnyIn(P2,Plate,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x12 steps, sd=0.000]
0.750000  usesAnyIn(P2,Spoon,M)    [1x12 steps, sd=0.000]
0.750000  usesAnyIn(P3,Bowl,M)     [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x12 steps, sd=0.000]
0.916667  usesAnyIn(P3,Fork,M)     [1x12 steps, sd=0.000]
0.916667  usesAnyIn(P3,Glass,M)    [1x12 steps, sd=0.000]
0.500000  usesAnyIn(P3,Knife,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x12 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x12 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x12 steps, sd=0.000]
0.750000  usesAnyIn(P3,Spoon,M)    [1x12 steps, sd=0.000]
step 13 (40997 constraints were to be satisfied), time elapsed: 0:06:42.730
0.230769  usesAnyIn(P1,Bowl,M)     [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x13 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x13 steps, sd=0.000]
0.846154  usesAnyIn(P1,Glass,M)    [1x13 steps, sd=0.000]
0.692308  usesAnyIn(P1,Knife,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x13 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x13 steps, sd=0.000]
0.230769  usesAnyIn(P1,Spoon,M)    [1x13 steps, sd=0.000]
0.230769  usesAnyIn(P2,Bowl,M)     [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x13 steps, sd=0.000]
0.846154  usesAnyIn(P2,Fork,M)     [1x13 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x13 steps, sd=0.000]
0.538462  usesAnyIn(P2,Knife,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x13 steps, sd=0.000]
0.846154  usesAnyIn(P2,Plate,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x13 steps, sd=0.000]
0.692308  usesAnyIn(P2,Spoon,M)    [1x13 steps, sd=0.000]
0.769231  usesAnyIn(P3,Bowl,M)     [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x13 steps, sd=0.000]
0.923077  usesAnyIn(P3,Fork,M)     [1x13 steps, sd=0.000]
0.923077  usesAnyIn(P3,Glass,M)    [1x13 steps, sd=0.000]
0.538462  usesAnyIn(P3,Knife,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x13 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x13 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x13 steps, sd=0.000]
0.769231  usesAnyIn(P3,Spoon,M)    [1x13 steps, sd=0.000]
step 14 (41004 constraints were to be satisfied), time elapsed: 0:06:57.467
0.214286  usesAnyIn(P1,Bowl,M)     [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x14 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x14 steps, sd=0.000]
0.857143  usesAnyIn(P1,Glass,M)    [1x14 steps, sd=0.000]
0.714286  usesAnyIn(P1,Knife,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x14 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x14 steps, sd=0.000]
0.214286  usesAnyIn(P1,Spoon,M)    [1x14 steps, sd=0.000]
0.214286  usesAnyIn(P2,Bowl,M)     [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x14 steps, sd=0.000]
0.785714  usesAnyIn(P2,Fork,M)     [1x14 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x14 steps, sd=0.000]
0.500000  usesAnyIn(P2,Knife,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x14 steps, sd=0.000]
0.785714  usesAnyIn(P2,Plate,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x14 steps, sd=0.000]
0.642857  usesAnyIn(P2,Spoon,M)    [1x14 steps, sd=0.000]
0.785714  usesAnyIn(P3,Bowl,M)     [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x14 steps, sd=0.000]
0.928571  usesAnyIn(P3,Fork,M)     [1x14 steps, sd=0.000]
0.928571  usesAnyIn(P3,Glass,M)    [1x14 steps, sd=0.000]
0.500000  usesAnyIn(P3,Knife,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x14 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x14 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x14 steps, sd=0.000]
0.785714  usesAnyIn(P3,Spoon,M)    [1x14 steps, sd=0.000]
step 15 (40974 constraints were to be satisfied), time elapsed: 0:07:58.050
0.200000  usesAnyIn(P1,Bowl,M)     [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x15 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x15 steps, sd=0.000]
0.866667  usesAnyIn(P1,Glass,M)    [1x15 steps, sd=0.000]
0.733333  usesAnyIn(P1,Knife,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x15 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x15 steps, sd=0.000]
0.200000  usesAnyIn(P1,Spoon,M)    [1x15 steps, sd=0.000]
0.200000  usesAnyIn(P2,Bowl,M)     [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x15 steps, sd=0.000]
0.733333  usesAnyIn(P2,Fork,M)     [1x15 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x15 steps, sd=0.000]
0.466667  usesAnyIn(P2,Knife,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x15 steps, sd=0.000]
0.733333  usesAnyIn(P2,Plate,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x15 steps, sd=0.000]
0.600000  usesAnyIn(P2,Spoon,M)    [1x15 steps, sd=0.000]
0.800000  usesAnyIn(P3,Bowl,M)     [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x15 steps, sd=0.000]
0.866667  usesAnyIn(P3,Fork,M)     [1x15 steps, sd=0.000]
0.933333  usesAnyIn(P3,Glass,M)    [1x15 steps, sd=0.000]
0.466667  usesAnyIn(P3,Knife,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x15 steps, sd=0.000]
0.933333  usesAnyIn(P3,Plate,M)    [1x15 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x15 steps, sd=0.000]
0.800000  usesAnyIn(P3,Spoon,M)    [1x15 steps, sd=0.000]
step 16 (40991 constraints were to be satisfied), time elapsed: 0:08:21.417
0.187500  usesAnyIn(P1,Bowl,M)     [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x16 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x16 steps, sd=0.000]
0.875000  usesAnyIn(P1,Glass,M)    [1x16 steps, sd=0.000]
0.750000  usesAnyIn(P1,Knife,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x16 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x16 steps, sd=0.000]
0.187500  usesAnyIn(P1,Spoon,M)    [1x16 steps, sd=0.000]
0.187500  usesAnyIn(P2,Bowl,M)     [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x16 steps, sd=0.000]
0.750000  usesAnyIn(P2,Fork,M)     [1x16 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x16 steps, sd=0.000]
0.500000  usesAnyIn(P2,Knife,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x16 steps, sd=0.000]
0.750000  usesAnyIn(P2,Plate,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x16 steps, sd=0.000]
0.562500  usesAnyIn(P2,Spoon,M)    [1x16 steps, sd=0.000]
0.750000  usesAnyIn(P3,Bowl,M)     [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x16 steps, sd=0.000]
0.875000  usesAnyIn(P3,Fork,M)     [1x16 steps, sd=0.000]
0.875000  usesAnyIn(P3,Glass,M)    [1x16 steps, sd=0.000]
0.500000  usesAnyIn(P3,Knife,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x16 steps, sd=0.000]
0.937500  usesAnyIn(P3,Plate,M)    [1x16 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x16 steps, sd=0.000]
0.750000  usesAnyIn(P3,Spoon,M)    [1x16 steps, sd=0.000]
step 17 (40997 constraints were to be satisfied), time elapsed: 0:08:28.675
0.235294  usesAnyIn(P1,Bowl,M)     [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x17 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x17 steps, sd=0.000]
0.882353  usesAnyIn(P1,Glass,M)    [1x17 steps, sd=0.000]
0.764706  usesAnyIn(P1,Knife,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x17 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x17 steps, sd=0.000]
0.235294  usesAnyIn(P1,Spoon,M)    [1x17 steps, sd=0.000]
0.176471  usesAnyIn(P2,Bowl,M)     [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x17 steps, sd=0.000]
0.764706  usesAnyIn(P2,Fork,M)     [1x17 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x17 steps, sd=0.000]
0.529412  usesAnyIn(P2,Knife,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x17 steps, sd=0.000]
0.764706  usesAnyIn(P2,Plate,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x17 steps, sd=0.000]
0.529412  usesAnyIn(P2,Spoon,M)    [1x17 steps, sd=0.000]
0.705882  usesAnyIn(P3,Bowl,M)     [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x17 steps, sd=0.000]
0.882353  usesAnyIn(P3,Fork,M)     [1x17 steps, sd=0.000]
0.823529  usesAnyIn(P3,Glass,M)    [1x17 steps, sd=0.000]
0.529412  usesAnyIn(P3,Knife,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x17 steps, sd=0.000]
0.941176  usesAnyIn(P3,Plate,M)    [1x17 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x17 steps, sd=0.000]
0.705882  usesAnyIn(P3,Spoon,M)    [1x17 steps, sd=0.000]
step 18 (40980 constraints were to be satisfied), time elapsed: 0:09:00.144
0.277778  usesAnyIn(P1,Bowl,M)     [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x18 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x18 steps, sd=0.000]
0.888889  usesAnyIn(P1,Glass,M)    [1x18 steps, sd=0.000]
0.777778  usesAnyIn(P1,Knife,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x18 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x18 steps, sd=0.000]
0.277778  usesAnyIn(P1,Spoon,M)    [1x18 steps, sd=0.000]
0.166667  usesAnyIn(P2,Bowl,M)     [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x18 steps, sd=0.000]
0.777778  usesAnyIn(P2,Fork,M)     [1x18 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x18 steps, sd=0.000]
0.500000  usesAnyIn(P2,Knife,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x18 steps, sd=0.000]
0.777778  usesAnyIn(P2,Plate,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x18 steps, sd=0.000]
0.555556  usesAnyIn(P2,Spoon,M)    [1x18 steps, sd=0.000]
0.722222  usesAnyIn(P3,Bowl,M)     [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x18 steps, sd=0.000]
0.888889  usesAnyIn(P3,Fork,M)     [1x18 steps, sd=0.000]
0.777778  usesAnyIn(P3,Glass,M)    [1x18 steps, sd=0.000]
0.555556  usesAnyIn(P3,Knife,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x18 steps, sd=0.000]
0.944444  usesAnyIn(P3,Plate,M)    [1x18 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x18 steps, sd=0.000]
0.722222  usesAnyIn(P3,Spoon,M)    [1x18 steps, sd=0.000]
step 19 (40992 constraints were to be satisfied), time elapsed: 0:09:18.220
0.315789  usesAnyIn(P1,Bowl,M)     [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x19 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x19 steps, sd=0.000]
0.894737  usesAnyIn(P1,Glass,M)    [1x19 steps, sd=0.000]
0.789474  usesAnyIn(P1,Knife,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x19 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x19 steps, sd=0.000]
0.315789  usesAnyIn(P1,Spoon,M)    [1x19 steps, sd=0.000]
0.157895  usesAnyIn(P2,Bowl,M)     [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x19 steps, sd=0.000]
0.789474  usesAnyIn(P2,Fork,M)     [1x19 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x19 steps, sd=0.000]
0.473684  usesAnyIn(P2,Knife,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x19 steps, sd=0.000]
0.789474  usesAnyIn(P2,Plate,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x19 steps, sd=0.000]
0.578947  usesAnyIn(P2,Spoon,M)    [1x19 steps, sd=0.000]
0.736842  usesAnyIn(P3,Bowl,M)     [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x19 steps, sd=0.000]
0.894737  usesAnyIn(P3,Fork,M)     [1x19 steps, sd=0.000]
0.789474  usesAnyIn(P3,Glass,M)    [1x19 steps, sd=0.000]
0.526316  usesAnyIn(P3,Knife,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x19 steps, sd=0.000]
0.947368  usesAnyIn(P3,Plate,M)    [1x19 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x19 steps, sd=0.000]
0.736842  usesAnyIn(P3,Spoon,M)    [1x19 steps, sd=0.000]
step 20 (40975 constraints were to be satisfied), time elapsed: 0:09:43.302
0.300000  usesAnyIn(P1,Bowl,M)     [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x20 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x20 steps, sd=0.000]
0.900000  usesAnyIn(P1,Glass,M)    [1x20 steps, sd=0.000]
0.800000  usesAnyIn(P1,Knife,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x20 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x20 steps, sd=0.000]
0.300000  usesAnyIn(P1,Spoon,M)    [1x20 steps, sd=0.000]
0.150000  usesAnyIn(P2,Bowl,M)     [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x20 steps, sd=0.000]
0.800000  usesAnyIn(P2,Fork,M)     [1x20 steps, sd=0.000]
1.000000  usesAnyIn(P2,Glass,M)    [1x20 steps, sd=0.000]
0.450000  usesAnyIn(P2,Knife,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x20 steps, sd=0.000]
0.800000  usesAnyIn(P2,Plate,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x20 steps, sd=0.000]
0.600000  usesAnyIn(P2,Spoon,M)    [1x20 steps, sd=0.000]
0.700000  usesAnyIn(P3,Bowl,M)     [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x20 steps, sd=0.000]
0.850000  usesAnyIn(P3,Fork,M)     [1x20 steps, sd=0.000]
0.800000  usesAnyIn(P3,Glass,M)    [1x20 steps, sd=0.000]
0.550000  usesAnyIn(P3,Knife,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x20 steps, sd=0.000]
0.950000  usesAnyIn(P3,Plate,M)    [1x20 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x20 steps, sd=0.000]
0.700000  usesAnyIn(P3,Spoon,M)    [1x20 steps, sd=0.000]
step 21 (40981 constraints were to be satisfied), time elapsed: 0:09:46.593
0.285714  usesAnyIn(P1,Bowl,M)     [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x21 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x21 steps, sd=0.000]
0.857143  usesAnyIn(P1,Glass,M)    [1x21 steps, sd=0.000]
0.809524  usesAnyIn(P1,Knife,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x21 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x21 steps, sd=0.000]
0.285714  usesAnyIn(P1,Spoon,M)    [1x21 steps, sd=0.000]
0.142857  usesAnyIn(P2,Bowl,M)     [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x21 steps, sd=0.000]
0.809524  usesAnyIn(P2,Fork,M)     [1x21 steps, sd=0.000]
0.952381  usesAnyIn(P2,Glass,M)    [1x21 steps, sd=0.000]
0.428571  usesAnyIn(P2,Knife,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x21 steps, sd=0.000]
0.809524  usesAnyIn(P2,Plate,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x21 steps, sd=0.000]
0.571429  usesAnyIn(P2,Spoon,M)    [1x21 steps, sd=0.000]
0.666667  usesAnyIn(P3,Bowl,M)     [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x21 steps, sd=0.000]
0.809524  usesAnyIn(P3,Fork,M)     [1x21 steps, sd=0.000]
0.809524  usesAnyIn(P3,Glass,M)    [1x21 steps, sd=0.000]
0.571429  usesAnyIn(P3,Knife,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x21 steps, sd=0.000]
0.952381  usesAnyIn(P3,Plate,M)    [1x21 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x21 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x21 steps, sd=0.000]
step 22 (40995 constraints were to be satisfied), time elapsed: 0:10:31.695
0.272727  usesAnyIn(P1,Bowl,M)     [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x22 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x22 steps, sd=0.000]
0.863636  usesAnyIn(P1,Glass,M)    [1x22 steps, sd=0.000]
0.818182  usesAnyIn(P1,Knife,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x22 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x22 steps, sd=0.000]
0.272727  usesAnyIn(P1,Spoon,M)    [1x22 steps, sd=0.000]
0.181818  usesAnyIn(P2,Bowl,M)     [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x22 steps, sd=0.000]
0.818182  usesAnyIn(P2,Fork,M)     [1x22 steps, sd=0.000]
0.954545  usesAnyIn(P2,Glass,M)    [1x22 steps, sd=0.000]
0.409091  usesAnyIn(P2,Knife,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x22 steps, sd=0.000]
0.818182  usesAnyIn(P2,Plate,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x22 steps, sd=0.000]
0.590909  usesAnyIn(P2,Spoon,M)    [1x22 steps, sd=0.000]
0.681818  usesAnyIn(P3,Bowl,M)     [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x22 steps, sd=0.000]
0.818182  usesAnyIn(P3,Fork,M)     [1x22 steps, sd=0.000]
0.818182  usesAnyIn(P3,Glass,M)    [1x22 steps, sd=0.000]
0.590909  usesAnyIn(P3,Knife,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x22 steps, sd=0.000]
0.954545  usesAnyIn(P3,Plate,M)    [1x22 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x22 steps, sd=0.000]
0.681818  usesAnyIn(P3,Spoon,M)    [1x22 steps, sd=0.000]
step 23 (40970 constraints were to be satisfied), time elapsed: 0:10:56.759
0.260870  usesAnyIn(P1,Bowl,M)     [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x23 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x23 steps, sd=0.000]
0.869565  usesAnyIn(P1,Glass,M)    [1x23 steps, sd=0.000]
0.826087  usesAnyIn(P1,Knife,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x23 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x23 steps, sd=0.000]
0.260870  usesAnyIn(P1,Spoon,M)    [1x23 steps, sd=0.000]
0.217391  usesAnyIn(P2,Bowl,M)     [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x23 steps, sd=0.000]
0.826087  usesAnyIn(P2,Fork,M)     [1x23 steps, sd=0.000]
0.956522  usesAnyIn(P2,Glass,M)    [1x23 steps, sd=0.000]
0.434783  usesAnyIn(P2,Knife,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x23 steps, sd=0.000]
0.826087  usesAnyIn(P2,Plate,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x23 steps, sd=0.000]
0.608696  usesAnyIn(P2,Spoon,M)    [1x23 steps, sd=0.000]
0.695652  usesAnyIn(P3,Bowl,M)     [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x23 steps, sd=0.000]
0.826087  usesAnyIn(P3,Fork,M)     [1x23 steps, sd=0.000]
0.826087  usesAnyIn(P3,Glass,M)    [1x23 steps, sd=0.000]
0.608696  usesAnyIn(P3,Knife,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x23 steps, sd=0.000]
0.956522  usesAnyIn(P3,Plate,M)    [1x23 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x23 steps, sd=0.000]
0.695652  usesAnyIn(P3,Spoon,M)    [1x23 steps, sd=0.000]
step 24 (40983 constraints were to be satisfied), time elapsed: 0:11:01.865
0.250000  usesAnyIn(P1,Bowl,M)     [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x24 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x24 steps, sd=0.000]
0.875000  usesAnyIn(P1,Glass,M)    [1x24 steps, sd=0.000]
0.833333  usesAnyIn(P1,Knife,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x24 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x24 steps, sd=0.000]
0.250000  usesAnyIn(P1,Spoon,M)    [1x24 steps, sd=0.000]
0.208333  usesAnyIn(P2,Bowl,M)     [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x24 steps, sd=0.000]
0.833333  usesAnyIn(P2,Fork,M)     [1x24 steps, sd=0.000]
0.958333  usesAnyIn(P2,Glass,M)    [1x24 steps, sd=0.000]
0.458333  usesAnyIn(P2,Knife,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x24 steps, sd=0.000]
0.833333  usesAnyIn(P2,Plate,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x24 steps, sd=0.000]
0.625000  usesAnyIn(P2,Spoon,M)    [1x24 steps, sd=0.000]
0.708333  usesAnyIn(P3,Bowl,M)     [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x24 steps, sd=0.000]
0.833333  usesAnyIn(P3,Fork,M)     [1x24 steps, sd=0.000]
0.833333  usesAnyIn(P3,Glass,M)    [1x24 steps, sd=0.000]
0.625000  usesAnyIn(P3,Knife,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x24 steps, sd=0.000]
0.958333  usesAnyIn(P3,Plate,M)    [1x24 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x24 steps, sd=0.000]
0.708333  usesAnyIn(P3,Spoon,M)    [1x24 steps, sd=0.000]
step 25 (40982 constraints were to be satisfied), time elapsed: 0:11:09.329
0.240000  usesAnyIn(P1,Bowl,M)     [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x25 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x25 steps, sd=0.000]
0.880000  usesAnyIn(P1,Glass,M)    [1x25 steps, sd=0.000]
0.840000  usesAnyIn(P1,Knife,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x25 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x25 steps, sd=0.000]
0.240000  usesAnyIn(P1,Spoon,M)    [1x25 steps, sd=0.000]
0.240000  usesAnyIn(P2,Bowl,M)     [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x25 steps, sd=0.000]
0.840000  usesAnyIn(P2,Fork,M)     [1x25 steps, sd=0.000]
0.960000  usesAnyIn(P2,Glass,M)    [1x25 steps, sd=0.000]
0.480000  usesAnyIn(P2,Knife,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x25 steps, sd=0.000]
0.840000  usesAnyIn(P2,Plate,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x25 steps, sd=0.000]
0.640000  usesAnyIn(P2,Spoon,M)    [1x25 steps, sd=0.000]
0.720000  usesAnyIn(P3,Bowl,M)     [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x25 steps, sd=0.000]
0.840000  usesAnyIn(P3,Fork,M)     [1x25 steps, sd=0.000]
0.840000  usesAnyIn(P3,Glass,M)    [1x25 steps, sd=0.000]
0.640000  usesAnyIn(P3,Knife,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x25 steps, sd=0.000]
0.960000  usesAnyIn(P3,Plate,M)    [1x25 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x25 steps, sd=0.000]
0.720000  usesAnyIn(P3,Spoon,M)    [1x25 steps, sd=0.000]
step 26 (41000 constraints were to be satisfied), time elapsed: 0:12:36.646
0.230769  usesAnyIn(P1,Bowl,M)     [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x26 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x26 steps, sd=0.000]
0.884615  usesAnyIn(P1,Glass,M)    [1x26 steps, sd=0.000]
0.846154  usesAnyIn(P1,Knife,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x26 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x26 steps, sd=0.000]
0.230769  usesAnyIn(P1,Spoon,M)    [1x26 steps, sd=0.000]
0.269231  usesAnyIn(P2,Bowl,M)     [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x26 steps, sd=0.000]
0.846154  usesAnyIn(P2,Fork,M)     [1x26 steps, sd=0.000]
0.961538  usesAnyIn(P2,Glass,M)    [1x26 steps, sd=0.000]
0.500000  usesAnyIn(P2,Knife,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x26 steps, sd=0.000]
0.846154  usesAnyIn(P2,Plate,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x26 steps, sd=0.000]
0.653846  usesAnyIn(P2,Spoon,M)    [1x26 steps, sd=0.000]
0.692308  usesAnyIn(P3,Bowl,M)     [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x26 steps, sd=0.000]
0.846154  usesAnyIn(P3,Fork,M)     [1x26 steps, sd=0.000]
0.846154  usesAnyIn(P3,Glass,M)    [1x26 steps, sd=0.000]
0.653846  usesAnyIn(P3,Knife,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x26 steps, sd=0.000]
0.961538  usesAnyIn(P3,Plate,M)    [1x26 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x26 steps, sd=0.000]
0.692308  usesAnyIn(P3,Spoon,M)    [1x26 steps, sd=0.000]
step 27 (40977 constraints were to be satisfied), time elapsed: 0:12:54.370
0.222222  usesAnyIn(P1,Bowl,M)     [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x27 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P1,Glass,M)    [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P1,Knife,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x27 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x27 steps, sd=0.000]
0.222222  usesAnyIn(P1,Spoon,M)    [1x27 steps, sd=0.000]
0.296296  usesAnyIn(P2,Bowl,M)     [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P2,Fork,M)     [1x27 steps, sd=0.000]
0.962963  usesAnyIn(P2,Glass,M)    [1x27 steps, sd=0.000]
0.518519  usesAnyIn(P2,Knife,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P2,Plate,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x27 steps, sd=0.000]
0.666667  usesAnyIn(P2,Spoon,M)    [1x27 steps, sd=0.000]
0.666667  usesAnyIn(P3,Bowl,M)     [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P3,Fork,M)     [1x27 steps, sd=0.000]
0.851852  usesAnyIn(P3,Glass,M)    [1x27 steps, sd=0.000]
0.666667  usesAnyIn(P3,Knife,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x27 steps, sd=0.000]
0.962963  usesAnyIn(P3,Plate,M)    [1x27 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x27 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x27 steps, sd=0.000]
step 28 (40980 constraints were to be satisfied), time elapsed: 0:13:22.314
0.250000  usesAnyIn(P1,Bowl,M)     [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x28 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x28 steps, sd=0.000]
0.821429  usesAnyIn(P1,Glass,M)    [1x28 steps, sd=0.000]
0.857143  usesAnyIn(P1,Knife,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x28 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x28 steps, sd=0.000]
0.250000  usesAnyIn(P1,Spoon,M)    [1x28 steps, sd=0.000]
0.321429  usesAnyIn(P2,Bowl,M)     [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x28 steps, sd=0.000]
0.857143  usesAnyIn(P2,Fork,M)     [1x28 steps, sd=0.000]
0.964286  usesAnyIn(P2,Glass,M)    [1x28 steps, sd=0.000]
0.535714  usesAnyIn(P2,Knife,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x28 steps, sd=0.000]
0.857143  usesAnyIn(P2,Plate,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x28 steps, sd=0.000]
0.678571  usesAnyIn(P2,Spoon,M)    [1x28 steps, sd=0.000]
0.642857  usesAnyIn(P3,Bowl,M)     [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x28 steps, sd=0.000]
0.857143  usesAnyIn(P3,Fork,M)     [1x28 steps, sd=0.000]
0.857143  usesAnyIn(P3,Glass,M)    [1x28 steps, sd=0.000]
0.678571  usesAnyIn(P3,Knife,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x28 steps, sd=0.000]
0.964286  usesAnyIn(P3,Plate,M)    [1x28 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x28 steps, sd=0.000]
0.642857  usesAnyIn(P3,Spoon,M)    [1x28 steps, sd=0.000]
step 29 (41009 constraints were to be satisfied), time elapsed: 0:13:33.016
0.241379  usesAnyIn(P1,Bowl,M)     [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x29 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x29 steps, sd=0.000]
0.793103  usesAnyIn(P1,Glass,M)    [1x29 steps, sd=0.000]
0.862069  usesAnyIn(P1,Knife,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x29 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x29 steps, sd=0.000]
0.241379  usesAnyIn(P1,Spoon,M)    [1x29 steps, sd=0.000]
0.344828  usesAnyIn(P2,Bowl,M)     [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x29 steps, sd=0.000]
0.827586  usesAnyIn(P2,Fork,M)     [1x29 steps, sd=0.000]
0.965517  usesAnyIn(P2,Glass,M)    [1x29 steps, sd=0.000]
0.551724  usesAnyIn(P2,Knife,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x29 steps, sd=0.000]
0.862069  usesAnyIn(P2,Plate,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x29 steps, sd=0.000]
0.689655  usesAnyIn(P2,Spoon,M)    [1x29 steps, sd=0.000]
0.620690  usesAnyIn(P3,Bowl,M)     [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x29 steps, sd=0.000]
0.862069  usesAnyIn(P3,Fork,M)     [1x29 steps, sd=0.000]
0.862069  usesAnyIn(P3,Glass,M)    [1x29 steps, sd=0.000]
0.689655  usesAnyIn(P3,Knife,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x29 steps, sd=0.000]
0.965517  usesAnyIn(P3,Plate,M)    [1x29 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x29 steps, sd=0.000]
0.620690  usesAnyIn(P3,Spoon,M)    [1x29 steps, sd=0.000]
step 30 (40992 constraints were to be satisfied), time elapsed: 0:15:49.545
0.233333  usesAnyIn(P1,Bowl,M)     [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x30 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x30 steps, sd=0.000]
0.766667  usesAnyIn(P1,Glass,M)    [1x30 steps, sd=0.000]
0.866667  usesAnyIn(P1,Knife,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x30 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x30 steps, sd=0.000]
0.266667  usesAnyIn(P1,Spoon,M)    [1x30 steps, sd=0.000]
0.366667  usesAnyIn(P2,Bowl,M)     [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x30 steps, sd=0.000]
0.833333  usesAnyIn(P2,Fork,M)     [1x30 steps, sd=0.000]
0.933333  usesAnyIn(P2,Glass,M)    [1x30 steps, sd=0.000]
0.533333  usesAnyIn(P2,Knife,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x30 steps, sd=0.000]
0.866667  usesAnyIn(P2,Plate,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x30 steps, sd=0.000]
0.700000  usesAnyIn(P2,Spoon,M)    [1x30 steps, sd=0.000]
0.633333  usesAnyIn(P3,Bowl,M)     [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x30 steps, sd=0.000]
0.866667  usesAnyIn(P3,Fork,M)     [1x30 steps, sd=0.000]
0.866667  usesAnyIn(P3,Glass,M)    [1x30 steps, sd=0.000]
0.700000  usesAnyIn(P3,Knife,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x30 steps, sd=0.000]
0.966667  usesAnyIn(P3,Plate,M)    [1x30 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x30 steps, sd=0.000]
0.633333  usesAnyIn(P3,Spoon,M)    [1x30 steps, sd=0.000]
step 31 (40978 constraints were to be satisfied), time elapsed: 0:16:01.175
0.225806  usesAnyIn(P1,Bowl,M)     [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x31 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x31 steps, sd=0.000]
0.741935  usesAnyIn(P1,Glass,M)    [1x31 steps, sd=0.000]
0.870968  usesAnyIn(P1,Knife,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x31 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x31 steps, sd=0.000]
0.290323  usesAnyIn(P1,Spoon,M)    [1x31 steps, sd=0.000]
0.354839  usesAnyIn(P2,Bowl,M)     [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x31 steps, sd=0.000]
0.838710  usesAnyIn(P2,Fork,M)     [1x31 steps, sd=0.000]
0.935484  usesAnyIn(P2,Glass,M)    [1x31 steps, sd=0.000]
0.548387  usesAnyIn(P2,Knife,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x31 steps, sd=0.000]
0.870968  usesAnyIn(P2,Plate,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x31 steps, sd=0.000]
0.709677  usesAnyIn(P2,Spoon,M)    [1x31 steps, sd=0.000]
0.612903  usesAnyIn(P3,Bowl,M)     [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x31 steps, sd=0.000]
0.870968  usesAnyIn(P3,Fork,M)     [1x31 steps, sd=0.000]
0.870968  usesAnyIn(P3,Glass,M)    [1x31 steps, sd=0.000]
0.709677  usesAnyIn(P3,Knife,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x31 steps, sd=0.000]
0.967742  usesAnyIn(P3,Plate,M)    [1x31 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x31 steps, sd=0.000]
0.612903  usesAnyIn(P3,Spoon,M)    [1x31 steps, sd=0.000]
step 32 (40975 constraints were to be satisfied), time elapsed: 0:16:09.533
0.218750  usesAnyIn(P1,Bowl,M)     [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x32 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x32 steps, sd=0.000]
0.718750  usesAnyIn(P1,Glass,M)    [1x32 steps, sd=0.000]
0.875000  usesAnyIn(P1,Knife,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x32 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x32 steps, sd=0.000]
0.312500  usesAnyIn(P1,Spoon,M)    [1x32 steps, sd=0.000]
0.343750  usesAnyIn(P2,Bowl,M)     [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x32 steps, sd=0.000]
0.843750  usesAnyIn(P2,Fork,M)     [1x32 steps, sd=0.000]
0.937500  usesAnyIn(P2,Glass,M)    [1x32 steps, sd=0.000]
0.562500  usesAnyIn(P2,Knife,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x32 steps, sd=0.000]
0.875000  usesAnyIn(P2,Plate,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x32 steps, sd=0.000]
0.687500  usesAnyIn(P2,Spoon,M)    [1x32 steps, sd=0.000]
0.593750  usesAnyIn(P3,Bowl,M)     [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x32 steps, sd=0.000]
0.875000  usesAnyIn(P3,Fork,M)     [1x32 steps, sd=0.000]
0.875000  usesAnyIn(P3,Glass,M)    [1x32 steps, sd=0.000]
0.718750  usesAnyIn(P3,Knife,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x32 steps, sd=0.000]
0.968750  usesAnyIn(P3,Plate,M)    [1x32 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x32 steps, sd=0.000]
0.593750  usesAnyIn(P3,Spoon,M)    [1x32 steps, sd=0.000]
step 33 (40990 constraints were to be satisfied), time elapsed: 0:16:21.960
0.212121  usesAnyIn(P1,Bowl,M)     [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x33 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x33 steps, sd=0.000]
0.696970  usesAnyIn(P1,Glass,M)    [1x33 steps, sd=0.000]
0.878788  usesAnyIn(P1,Knife,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x33 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x33 steps, sd=0.000]
0.333333  usesAnyIn(P1,Spoon,M)    [1x33 steps, sd=0.000]
0.333333  usesAnyIn(P2,Bowl,M)     [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x33 steps, sd=0.000]
0.818182  usesAnyIn(P2,Fork,M)     [1x33 steps, sd=0.000]
0.909091  usesAnyIn(P2,Glass,M)    [1x33 steps, sd=0.000]
0.545455  usesAnyIn(P2,Knife,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x33 steps, sd=0.000]
0.848485  usesAnyIn(P2,Plate,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x33 steps, sd=0.000]
0.666667  usesAnyIn(P2,Spoon,M)    [1x33 steps, sd=0.000]
0.575758  usesAnyIn(P3,Bowl,M)     [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x33 steps, sd=0.000]
0.878788  usesAnyIn(P3,Fork,M)     [1x33 steps, sd=0.000]
0.878788  usesAnyIn(P3,Glass,M)    [1x33 steps, sd=0.000]
0.727273  usesAnyIn(P3,Knife,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x33 steps, sd=0.000]
0.969697  usesAnyIn(P3,Plate,M)    [1x33 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x33 steps, sd=0.000]
0.575758  usesAnyIn(P3,Spoon,M)    [1x33 steps, sd=0.000]
step 34 (40977 constraints were to be satisfied), time elapsed: 0:17:36.128
0.205882  usesAnyIn(P1,Bowl,M)     [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x34 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x34 steps, sd=0.000]
0.705882  usesAnyIn(P1,Glass,M)    [1x34 steps, sd=0.000]
0.882353  usesAnyIn(P1,Knife,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x34 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x34 steps, sd=0.000]
0.323529  usesAnyIn(P1,Spoon,M)    [1x34 steps, sd=0.000]
0.323529  usesAnyIn(P2,Bowl,M)     [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x34 steps, sd=0.000]
0.794118  usesAnyIn(P2,Fork,M)     [1x34 steps, sd=0.000]
0.911765  usesAnyIn(P2,Glass,M)    [1x34 steps, sd=0.000]
0.529412  usesAnyIn(P2,Knife,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x34 steps, sd=0.000]
0.823529  usesAnyIn(P2,Plate,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x34 steps, sd=0.000]
0.647059  usesAnyIn(P2,Spoon,M)    [1x34 steps, sd=0.000]
0.558824  usesAnyIn(P3,Bowl,M)     [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x34 steps, sd=0.000]
0.852941  usesAnyIn(P3,Fork,M)     [1x34 steps, sd=0.000]
0.882353  usesAnyIn(P3,Glass,M)    [1x34 steps, sd=0.000]
0.705882  usesAnyIn(P3,Knife,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x34 steps, sd=0.000]
0.941176  usesAnyIn(P3,Plate,M)    [1x34 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x34 steps, sd=0.000]
0.558824  usesAnyIn(P3,Spoon,M)    [1x34 steps, sd=0.000]
step 35 (40986 constraints were to be satisfied), time elapsed: 0:17:59.368
0.200000  usesAnyIn(P1,Bowl,M)     [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x35 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x35 steps, sd=0.000]
0.714286  usesAnyIn(P1,Glass,M)    [1x35 steps, sd=0.000]
0.885714  usesAnyIn(P1,Knife,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x35 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x35 steps, sd=0.000]
0.314286  usesAnyIn(P1,Spoon,M)    [1x35 steps, sd=0.000]
0.314286  usesAnyIn(P2,Bowl,M)     [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x35 steps, sd=0.000]
0.800000  usesAnyIn(P2,Fork,M)     [1x35 steps, sd=0.000]
0.914286  usesAnyIn(P2,Glass,M)    [1x35 steps, sd=0.000]
0.514286  usesAnyIn(P2,Knife,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x35 steps, sd=0.000]
0.828571  usesAnyIn(P2,Plate,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x35 steps, sd=0.000]
0.628571  usesAnyIn(P2,Spoon,M)    [1x35 steps, sd=0.000]
0.542857  usesAnyIn(P3,Bowl,M)     [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x35 steps, sd=0.000]
0.857143  usesAnyIn(P3,Fork,M)     [1x35 steps, sd=0.000]
0.885714  usesAnyIn(P3,Glass,M)    [1x35 steps, sd=0.000]
0.685714  usesAnyIn(P3,Knife,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x35 steps, sd=0.000]
0.942857  usesAnyIn(P3,Plate,M)    [1x35 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x35 steps, sd=0.000]
0.542857  usesAnyIn(P3,Spoon,M)    [1x35 steps, sd=0.000]
step 36 (40986 constraints were to be satisfied), time elapsed: 0:18:07.132
0.194444  usesAnyIn(P1,Bowl,M)     [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x36 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x36 steps, sd=0.000]
0.694444  usesAnyIn(P1,Glass,M)    [1x36 steps, sd=0.000]
0.888889  usesAnyIn(P1,Knife,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x36 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x36 steps, sd=0.000]
0.305556  usesAnyIn(P1,Spoon,M)    [1x36 steps, sd=0.000]
0.333333  usesAnyIn(P2,Bowl,M)     [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x36 steps, sd=0.000]
0.805556  usesAnyIn(P2,Fork,M)     [1x36 steps, sd=0.000]
0.916667  usesAnyIn(P2,Glass,M)    [1x36 steps, sd=0.000]
0.527778  usesAnyIn(P2,Knife,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x36 steps, sd=0.000]
0.833333  usesAnyIn(P2,Plate,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x36 steps, sd=0.000]
0.638889  usesAnyIn(P2,Spoon,M)    [1x36 steps, sd=0.000]
0.527778  usesAnyIn(P3,Bowl,M)     [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x36 steps, sd=0.000]
0.861111  usesAnyIn(P3,Fork,M)     [1x36 steps, sd=0.000]
0.888889  usesAnyIn(P3,Glass,M)    [1x36 steps, sd=0.000]
0.666667  usesAnyIn(P3,Knife,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x36 steps, sd=0.000]
0.944444  usesAnyIn(P3,Plate,M)    [1x36 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x36 steps, sd=0.000]
0.527778  usesAnyIn(P3,Spoon,M)    [1x36 steps, sd=0.000]
step 37 (40955 constraints were to be satisfied), time elapsed: 0:18:57.015
0.189189  usesAnyIn(P1,Bowl,M)     [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x37 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x37 steps, sd=0.000]
0.702703  usesAnyIn(P1,Glass,M)    [1x37 steps, sd=0.000]
0.891892  usesAnyIn(P1,Knife,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x37 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x37 steps, sd=0.000]
0.297297  usesAnyIn(P1,Spoon,M)    [1x37 steps, sd=0.000]
0.351351  usesAnyIn(P2,Bowl,M)     [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x37 steps, sd=0.000]
0.810811  usesAnyIn(P2,Fork,M)     [1x37 steps, sd=0.000]
0.918919  usesAnyIn(P2,Glass,M)    [1x37 steps, sd=0.000]
0.540541  usesAnyIn(P2,Knife,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x37 steps, sd=0.000]
0.837838  usesAnyIn(P2,Plate,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x37 steps, sd=0.000]
0.648649  usesAnyIn(P2,Spoon,M)    [1x37 steps, sd=0.000]
0.513514  usesAnyIn(P3,Bowl,M)     [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x37 steps, sd=0.000]
0.864865  usesAnyIn(P3,Fork,M)     [1x37 steps, sd=0.000]
0.891892  usesAnyIn(P3,Glass,M)    [1x37 steps, sd=0.000]
0.648649  usesAnyIn(P3,Knife,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x37 steps, sd=0.000]
0.945946  usesAnyIn(P3,Plate,M)    [1x37 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x37 steps, sd=0.000]
0.513514  usesAnyIn(P3,Spoon,M)    [1x37 steps, sd=0.000]
step 38 (41002 constraints were to be satisfied), time elapsed: 0:19:02.403
0.184211  usesAnyIn(P1,Bowl,M)     [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x38 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x38 steps, sd=0.000]
0.710526  usesAnyIn(P1,Glass,M)    [1x38 steps, sd=0.000]
0.894737  usesAnyIn(P1,Knife,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x38 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x38 steps, sd=0.000]
0.289474  usesAnyIn(P1,Spoon,M)    [1x38 steps, sd=0.000]
0.368421  usesAnyIn(P2,Bowl,M)     [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x38 steps, sd=0.000]
0.789474  usesAnyIn(P2,Fork,M)     [1x38 steps, sd=0.000]
0.921053  usesAnyIn(P2,Glass,M)    [1x38 steps, sd=0.000]
0.552632  usesAnyIn(P2,Knife,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x38 steps, sd=0.000]
0.842105  usesAnyIn(P2,Plate,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x38 steps, sd=0.000]
0.657895  usesAnyIn(P2,Spoon,M)    [1x38 steps, sd=0.000]
0.526316  usesAnyIn(P3,Bowl,M)     [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x38 steps, sd=0.000]
0.868421  usesAnyIn(P3,Fork,M)     [1x38 steps, sd=0.000]
0.894737  usesAnyIn(P3,Glass,M)    [1x38 steps, sd=0.000]
0.631579  usesAnyIn(P3,Knife,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x38 steps, sd=0.000]
0.947368  usesAnyIn(P3,Plate,M)    [1x38 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x38 steps, sd=0.000]
0.526316  usesAnyIn(P3,Spoon,M)    [1x38 steps, sd=0.000]
step 39 (40977 constraints were to be satisfied), time elapsed: 0:19:54.432
0.179487  usesAnyIn(P1,Bowl,M)     [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x39 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x39 steps, sd=0.000]
0.717949  usesAnyIn(P1,Glass,M)    [1x39 steps, sd=0.000]
0.897436  usesAnyIn(P1,Knife,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x39 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x39 steps, sd=0.000]
0.282051  usesAnyIn(P1,Spoon,M)    [1x39 steps, sd=0.000]
0.384615  usesAnyIn(P2,Bowl,M)     [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x39 steps, sd=0.000]
0.794872  usesAnyIn(P2,Fork,M)     [1x39 steps, sd=0.000]
0.923077  usesAnyIn(P2,Glass,M)    [1x39 steps, sd=0.000]
0.564103  usesAnyIn(P2,Knife,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x39 steps, sd=0.000]
0.846154  usesAnyIn(P2,Plate,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x39 steps, sd=0.000]
0.666667  usesAnyIn(P2,Spoon,M)    [1x39 steps, sd=0.000]
0.538462  usesAnyIn(P3,Bowl,M)     [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x39 steps, sd=0.000]
0.846154  usesAnyIn(P3,Fork,M)     [1x39 steps, sd=0.000]
0.897436  usesAnyIn(P3,Glass,M)    [1x39 steps, sd=0.000]
0.615385  usesAnyIn(P3,Knife,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x39 steps, sd=0.000]
0.923077  usesAnyIn(P3,Plate,M)    [1x39 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x39 steps, sd=0.000]
0.538462  usesAnyIn(P3,Spoon,M)    [1x39 steps, sd=0.000]
step 40 (40983 constraints were to be satisfied), time elapsed: 0:20:13.479
0.200000  usesAnyIn(P1,Bowl,M)     [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x40 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x40 steps, sd=0.000]
0.725000  usesAnyIn(P1,Glass,M)    [1x40 steps, sd=0.000]
0.900000  usesAnyIn(P1,Knife,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x40 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x40 steps, sd=0.000]
0.300000  usesAnyIn(P1,Spoon,M)    [1x40 steps, sd=0.000]
0.400000  usesAnyIn(P2,Bowl,M)     [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x40 steps, sd=0.000]
0.800000  usesAnyIn(P2,Fork,M)     [1x40 steps, sd=0.000]
0.925000  usesAnyIn(P2,Glass,M)    [1x40 steps, sd=0.000]
0.575000  usesAnyIn(P2,Knife,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x40 steps, sd=0.000]
0.850000  usesAnyIn(P2,Plate,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x40 steps, sd=0.000]
0.675000  usesAnyIn(P2,Spoon,M)    [1x40 steps, sd=0.000]
0.525000  usesAnyIn(P3,Bowl,M)     [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x40 steps, sd=0.000]
0.850000  usesAnyIn(P3,Fork,M)     [1x40 steps, sd=0.000]
0.875000  usesAnyIn(P3,Glass,M)    [1x40 steps, sd=0.000]
0.600000  usesAnyIn(P3,Knife,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x40 steps, sd=0.000]
0.925000  usesAnyIn(P3,Plate,M)    [1x40 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x40 steps, sd=0.000]
0.525000  usesAnyIn(P3,Spoon,M)    [1x40 steps, sd=0.000]
step 41 (40970 constraints were to be satisfied), time elapsed: 0:20:30.604
0.219512  usesAnyIn(P1,Bowl,M)     [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x41 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x41 steps, sd=0.000]
0.731707  usesAnyIn(P1,Glass,M)    [1x41 steps, sd=0.000]
0.902439  usesAnyIn(P1,Knife,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x41 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x41 steps, sd=0.000]
0.317073  usesAnyIn(P1,Spoon,M)    [1x41 steps, sd=0.000]
0.414634  usesAnyIn(P2,Bowl,M)     [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x41 steps, sd=0.000]
0.804878  usesAnyIn(P2,Fork,M)     [1x41 steps, sd=0.000]
0.926829  usesAnyIn(P2,Glass,M)    [1x41 steps, sd=0.000]
0.585366  usesAnyIn(P2,Knife,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x41 steps, sd=0.000]
0.853659  usesAnyIn(P2,Plate,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x41 steps, sd=0.000]
0.682927  usesAnyIn(P2,Spoon,M)    [1x41 steps, sd=0.000]
0.512195  usesAnyIn(P3,Bowl,M)     [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x41 steps, sd=0.000]
0.853659  usesAnyIn(P3,Fork,M)     [1x41 steps, sd=0.000]
0.878049  usesAnyIn(P3,Glass,M)    [1x41 steps, sd=0.000]
0.585366  usesAnyIn(P3,Knife,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x41 steps, sd=0.000]
0.926829  usesAnyIn(P3,Plate,M)    [1x41 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x41 steps, sd=0.000]
0.512195  usesAnyIn(P3,Spoon,M)    [1x41 steps, sd=0.000]
step 42 (40988 constraints were to be satisfied), time elapsed: 0:20:39.889
0.238095  usesAnyIn(P1,Bowl,M)     [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x42 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x42 steps, sd=0.000]
0.738095  usesAnyIn(P1,Glass,M)    [1x42 steps, sd=0.000]
0.904762  usesAnyIn(P1,Knife,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x42 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x42 steps, sd=0.000]
0.333333  usesAnyIn(P1,Spoon,M)    [1x42 steps, sd=0.000]
0.428571  usesAnyIn(P2,Bowl,M)     [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x42 steps, sd=0.000]
0.809524  usesAnyIn(P2,Fork,M)     [1x42 steps, sd=0.000]
0.928571  usesAnyIn(P2,Glass,M)    [1x42 steps, sd=0.000]
0.595238  usesAnyIn(P2,Knife,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x42 steps, sd=0.000]
0.857143  usesAnyIn(P2,Plate,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x42 steps, sd=0.000]
0.690476  usesAnyIn(P2,Spoon,M)    [1x42 steps, sd=0.000]
0.500000  usesAnyIn(P3,Bowl,M)     [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x42 steps, sd=0.000]
0.857143  usesAnyIn(P3,Fork,M)     [1x42 steps, sd=0.000]
0.880952  usesAnyIn(P3,Glass,M)    [1x42 steps, sd=0.000]
0.571429  usesAnyIn(P3,Knife,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x42 steps, sd=0.000]
0.928571  usesAnyIn(P3,Plate,M)    [1x42 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x42 steps, sd=0.000]
0.500000  usesAnyIn(P3,Spoon,M)    [1x42 steps, sd=0.000]
step 43 (40986 constraints were to be satisfied), time elapsed: 0:21:11.877
0.255814  usesAnyIn(P1,Bowl,M)     [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x43 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x43 steps, sd=0.000]
0.720930  usesAnyIn(P1,Glass,M)    [1x43 steps, sd=0.000]
0.906977  usesAnyIn(P1,Knife,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x43 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x43 steps, sd=0.000]
0.348837  usesAnyIn(P1,Spoon,M)    [1x43 steps, sd=0.000]
0.441860  usesAnyIn(P2,Bowl,M)     [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x43 steps, sd=0.000]
0.813953  usesAnyIn(P2,Fork,M)     [1x43 steps, sd=0.000]
0.930233  usesAnyIn(P2,Glass,M)    [1x43 steps, sd=0.000]
0.581395  usesAnyIn(P2,Knife,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x43 steps, sd=0.000]
0.860465  usesAnyIn(P2,Plate,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x43 steps, sd=0.000]
0.697674  usesAnyIn(P2,Spoon,M)    [1x43 steps, sd=0.000]
0.488372  usesAnyIn(P3,Bowl,M)     [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x43 steps, sd=0.000]
0.860465  usesAnyIn(P3,Fork,M)     [1x43 steps, sd=0.000]
0.883721  usesAnyIn(P3,Glass,M)    [1x43 steps, sd=0.000]
0.581395  usesAnyIn(P3,Knife,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x43 steps, sd=0.000]
0.930233  usesAnyIn(P3,Plate,M)    [1x43 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x43 steps, sd=0.000]
0.488372  usesAnyIn(P3,Spoon,M)    [1x43 steps, sd=0.000]
step 44 (40999 constraints were to be satisfied), time elapsed: 0:21:56.430
0.250000  usesAnyIn(P1,Bowl,M)     [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x44 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x44 steps, sd=0.000]
0.727273  usesAnyIn(P1,Glass,M)    [1x44 steps, sd=0.000]
0.909091  usesAnyIn(P1,Knife,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x44 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x44 steps, sd=0.000]
0.340909  usesAnyIn(P1,Spoon,M)    [1x44 steps, sd=0.000]
0.454545  usesAnyIn(P2,Bowl,M)     [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x44 steps, sd=0.000]
0.818182  usesAnyIn(P2,Fork,M)     [1x44 steps, sd=0.000]
0.931818  usesAnyIn(P2,Glass,M)    [1x44 steps, sd=0.000]
0.590909  usesAnyIn(P2,Knife,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x44 steps, sd=0.000]
0.863636  usesAnyIn(P2,Plate,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x44 steps, sd=0.000]
0.704545  usesAnyIn(P2,Spoon,M)    [1x44 steps, sd=0.000]
0.477273  usesAnyIn(P3,Bowl,M)     [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x44 steps, sd=0.000]
0.840909  usesAnyIn(P3,Fork,M)     [1x44 steps, sd=0.000]
0.886364  usesAnyIn(P3,Glass,M)    [1x44 steps, sd=0.000]
0.568182  usesAnyIn(P3,Knife,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x44 steps, sd=0.000]
0.909091  usesAnyIn(P3,Plate,M)    [1x44 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x44 steps, sd=0.000]
0.477273  usesAnyIn(P3,Spoon,M)    [1x44 steps, sd=0.000]
step 45 (40984 constraints were to be satisfied), time elapsed: 0:22:53.574
0.244444  usesAnyIn(P1,Bowl,M)     [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x45 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x45 steps, sd=0.000]
0.733333  usesAnyIn(P1,Glass,M)    [1x45 steps, sd=0.000]
0.911111  usesAnyIn(P1,Knife,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x45 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x45 steps, sd=0.000]
0.333333  usesAnyIn(P1,Spoon,M)    [1x45 steps, sd=0.000]
0.466667  usesAnyIn(P2,Bowl,M)     [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x45 steps, sd=0.000]
0.822222  usesAnyIn(P2,Fork,M)     [1x45 steps, sd=0.000]
0.933333  usesAnyIn(P2,Glass,M)    [1x45 steps, sd=0.000]
0.600000  usesAnyIn(P2,Knife,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x45 steps, sd=0.000]
0.866667  usesAnyIn(P2,Plate,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x45 steps, sd=0.000]
0.711111  usesAnyIn(P2,Spoon,M)    [1x45 steps, sd=0.000]
0.466667  usesAnyIn(P3,Bowl,M)     [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x45 steps, sd=0.000]
0.822222  usesAnyIn(P3,Fork,M)     [1x45 steps, sd=0.000]
0.888889  usesAnyIn(P3,Glass,M)    [1x45 steps, sd=0.000]
0.555556  usesAnyIn(P3,Knife,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x45 steps, sd=0.000]
0.888889  usesAnyIn(P3,Plate,M)    [1x45 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x45 steps, sd=0.000]
0.466667  usesAnyIn(P3,Spoon,M)    [1x45 steps, sd=0.000]
step 46 (40963 constraints were to be satisfied), time elapsed: 0:23:28.686
0.239130  usesAnyIn(P1,Bowl,M)     [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x46 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x46 steps, sd=0.000]
0.739130  usesAnyIn(P1,Glass,M)    [1x46 steps, sd=0.000]
0.913043  usesAnyIn(P1,Knife,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x46 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x46 steps, sd=0.000]
0.326087  usesAnyIn(P1,Spoon,M)    [1x46 steps, sd=0.000]
0.478261  usesAnyIn(P2,Bowl,M)     [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x46 steps, sd=0.000]
0.804348  usesAnyIn(P2,Fork,M)     [1x46 steps, sd=0.000]
0.934783  usesAnyIn(P2,Glass,M)    [1x46 steps, sd=0.000]
0.608696  usesAnyIn(P2,Knife,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x46 steps, sd=0.000]
0.869565  usesAnyIn(P2,Plate,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x46 steps, sd=0.000]
0.717391  usesAnyIn(P2,Spoon,M)    [1x46 steps, sd=0.000]
0.456522  usesAnyIn(P3,Bowl,M)     [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x46 steps, sd=0.000]
0.804348  usesAnyIn(P3,Fork,M)     [1x46 steps, sd=0.000]
0.891304  usesAnyIn(P3,Glass,M)    [1x46 steps, sd=0.000]
0.543478  usesAnyIn(P3,Knife,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x46 steps, sd=0.000]
0.869565  usesAnyIn(P3,Plate,M)    [1x46 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x46 steps, sd=0.000]
0.456522  usesAnyIn(P3,Spoon,M)    [1x46 steps, sd=0.000]
step 47 (40996 constraints were to be satisfied), time elapsed: 0:23:34.888
0.255319  usesAnyIn(P1,Bowl,M)     [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x47 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x47 steps, sd=0.000]
0.723404  usesAnyIn(P1,Glass,M)    [1x47 steps, sd=0.000]
0.914894  usesAnyIn(P1,Knife,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x47 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x47 steps, sd=0.000]
0.340426  usesAnyIn(P1,Spoon,M)    [1x47 steps, sd=0.000]
0.489362  usesAnyIn(P2,Bowl,M)     [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x47 steps, sd=0.000]
0.808511  usesAnyIn(P2,Fork,M)     [1x47 steps, sd=0.000]
0.936170  usesAnyIn(P2,Glass,M)    [1x47 steps, sd=0.000]
0.617021  usesAnyIn(P2,Knife,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x47 steps, sd=0.000]
0.872340  usesAnyIn(P2,Plate,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x47 steps, sd=0.000]
0.723404  usesAnyIn(P2,Spoon,M)    [1x47 steps, sd=0.000]
0.468085  usesAnyIn(P3,Bowl,M)     [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x47 steps, sd=0.000]
0.787234  usesAnyIn(P3,Fork,M)     [1x47 steps, sd=0.000]
0.893617  usesAnyIn(P3,Glass,M)    [1x47 steps, sd=0.000]
0.531915  usesAnyIn(P3,Knife,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x47 steps, sd=0.000]
0.851064  usesAnyIn(P3,Plate,M)    [1x47 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x47 steps, sd=0.000]
0.468085  usesAnyIn(P3,Spoon,M)    [1x47 steps, sd=0.000]
step 48 (40985 constraints were to be satisfied), time elapsed: 0:23:42.080
0.250000  usesAnyIn(P1,Bowl,M)     [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x48 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x48 steps, sd=0.000]
0.708333  usesAnyIn(P1,Glass,M)    [1x48 steps, sd=0.000]
0.916667  usesAnyIn(P1,Knife,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x48 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x48 steps, sd=0.000]
0.354167  usesAnyIn(P1,Spoon,M)    [1x48 steps, sd=0.000]
0.500000  usesAnyIn(P2,Bowl,M)     [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x48 steps, sd=0.000]
0.791667  usesAnyIn(P2,Fork,M)     [1x48 steps, sd=0.000]
0.937500  usesAnyIn(P2,Glass,M)    [1x48 steps, sd=0.000]
0.625000  usesAnyIn(P2,Knife,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x48 steps, sd=0.000]
0.875000  usesAnyIn(P2,Plate,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x48 steps, sd=0.000]
0.729167  usesAnyIn(P2,Spoon,M)    [1x48 steps, sd=0.000]
0.479167  usesAnyIn(P3,Bowl,M)     [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x48 steps, sd=0.000]
0.770833  usesAnyIn(P3,Fork,M)     [1x48 steps, sd=0.000]
0.895833  usesAnyIn(P3,Glass,M)    [1x48 steps, sd=0.000]
0.520833  usesAnyIn(P3,Knife,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x48 steps, sd=0.000]
0.833333  usesAnyIn(P3,Plate,M)    [1x48 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x48 steps, sd=0.000]
0.479167  usesAnyIn(P3,Spoon,M)    [1x48 steps, sd=0.000]
step 49 (40975 constraints were to be satisfied), time elapsed: 0:23:48.317
0.244898  usesAnyIn(P1,Bowl,M)     [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x49 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x49 steps, sd=0.000]
0.693878  usesAnyIn(P1,Glass,M)    [1x49 steps, sd=0.000]
0.918367  usesAnyIn(P1,Knife,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x49 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x49 steps, sd=0.000]
0.346939  usesAnyIn(P1,Spoon,M)    [1x49 steps, sd=0.000]
0.489796  usesAnyIn(P2,Bowl,M)     [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x49 steps, sd=0.000]
0.775510  usesAnyIn(P2,Fork,M)     [1x49 steps, sd=0.000]
0.938776  usesAnyIn(P2,Glass,M)    [1x49 steps, sd=0.000]
0.632653  usesAnyIn(P2,Knife,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x49 steps, sd=0.000]
0.877551  usesAnyIn(P2,Plate,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x49 steps, sd=0.000]
0.714286  usesAnyIn(P2,Spoon,M)    [1x49 steps, sd=0.000]
0.489796  usesAnyIn(P3,Bowl,M)     [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x49 steps, sd=0.000]
0.755102  usesAnyIn(P3,Fork,M)     [1x49 steps, sd=0.000]
0.897959  usesAnyIn(P3,Glass,M)    [1x49 steps, sd=0.000]
0.510204  usesAnyIn(P3,Knife,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x49 steps, sd=0.000]
0.816327  usesAnyIn(P3,Plate,M)    [1x49 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x49 steps, sd=0.000]
0.489796  usesAnyIn(P3,Spoon,M)    [1x49 steps, sd=0.000]
step 50 (40996 constraints were to be satisfied), time elapsed: 0:23:57.071

results:
0.240000  usesAnyIn(P1,Bowl,M)     
0.000000  usesAnyIn(P1,Cup,M)      
0.980000  usesAnyIn(P1,Fork,M)     
0.700000  usesAnyIn(P1,Glass,M)    
0.920000  usesAnyIn(P1,Knife,M)    
0.000000  usesAnyIn(P1,Pitcher,M)  
1.000000  usesAnyIn(P1,Plate,M)    
0.000000  usesAnyIn(P1,Platter,M)  
0.340000  usesAnyIn(P1,Spoon,M)    
0.480000  usesAnyIn(P2,Bowl,M)     
0.000000  usesAnyIn(P2,Cup,M)      
0.780000  usesAnyIn(P2,Fork,M)     
0.940000  usesAnyIn(P2,Glass,M)    
0.620000  usesAnyIn(P2,Knife,M)    
0.000000  usesAnyIn(P2,Pitcher,M)  
0.880000  usesAnyIn(P2,Plate,M)    
0.000000  usesAnyIn(P2,Platter,M)  
0.700000  usesAnyIn(P2,Spoon,M)    
0.480000  usesAnyIn(P3,Bowl,M)     
0.000000  usesAnyIn(P3,Cup,M)      
0.740000  usesAnyIn(P3,Fork,M)     
0.900000  usesAnyIn(P3,Glass,M)    
0.500000  usesAnyIn(P3,Knife,M)    
0.000000  usesAnyIn(P3,Pitcher,M)  
0.800000  usesAnyIn(P3,Plate,M)    
0.000000  usesAnyIn(P3,Platter,M)  
0.480000  usesAnyIn(P3,Spoon,M)    

--- query ---
usesAnyIn

--- evidence (lorenzExample2.blogdb) ---
mealT(M)=Lunch
takesPartIn(P1,M)=True
takesPartIn(P2,M)=True
takesPartIn(P3,M)=True
/*
name(P1)=Anna
name(P2)=Bert
name(P3)=Dorothy
*/

Starting MC-SAT...

reading MLN...
materializing formula templates...
ground atoms: 475
ground formulas: 58450
normalizing weights...
converting formulas to CNF...
gathering clause data...
getting blocks...
reading evidence...
evidence blocks: 4
block exclusions: 0
initializing 1 chain(s)...
sampling... time elapsed: 0:00:34.176
step 1 (40989 constraints were to be satisfied), time elapsed: 1:38:21.881
1.000000  usesAnyIn(P1,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Glass,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P1,Spoon,M)    [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Glass,M)    [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P2,Spoon,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Bowl,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Glass,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Knife,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x1 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x1 steps, sd=0.000]
1.000000  usesAnyIn(P3,Spoon,M)    [1x1 steps, sd=0.000]
step 2 (40986 constraints were to be satisfied), time elapsed: 1:39:22.774
1.000000  usesAnyIn(P1,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Glass,M)    [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P1,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P1,Spoon,M)    [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P2,Glass,M)    [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P2,Spoon,M)    [1x2 steps, sd=0.000]
0.500000  usesAnyIn(P3,Bowl,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Fork,M)     [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Glass,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Knife,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Plate,M)    [1x2 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x2 steps, sd=0.000]
1.000000  usesAnyIn(P3,Spoon,M)    [1x2 steps, sd=0.000]
step 3 (40974 constraints were to be satisfied), time elapsed: 1:40:53.430
1.000000  usesAnyIn(P1,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Glass,M)    [1x3 steps, sd=0.000]
0.333333  usesAnyIn(P1,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P1,Spoon,M)    [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x3 steps, sd=0.000]
0.333333  usesAnyIn(P2,Glass,M)    [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x3 steps, sd=0.000]
1.000000  usesAnyIn(P2,Spoon,M)    [1x3 steps, sd=0.000]
0.333333  usesAnyIn(P3,Bowl,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P3,Fork,M)     [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Glass,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Knife,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P3,Plate,M)    [1x3 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x3 steps, sd=0.000]
0.666667  usesAnyIn(P3,Spoon,M)    [1x3 steps, sd=0.000]
step 4 (40998 constraints were to be satisfied), time elapsed: 1:43:10.175
1.000000  usesAnyIn(P1,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Cup,M)      [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Fork,M)     [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Glass,M)    [1x4 steps, sd=0.000]
0.250000  usesAnyIn(P1,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Pitcher,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P1,Platter,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P1,Spoon,M)    [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Cup,M)      [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Fork,M)     [1x4 steps, sd=0.000]
0.250000  usesAnyIn(P2,Glass,M)    [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P2,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Pitcher,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P2,Platter,M)  [1x4 steps, sd=0.000]
1.000000  usesAnyIn(P2,Spoon,M)    [1x4 steps, sd=0.000]
0.250000  usesAnyIn(P3,Bowl,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Cup,M)      [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P3,Fork,M)     [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Glass,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Knife,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Pitcher,M)  [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P3,Plate,M)    [1x4 steps, sd=0.000]
0.000000  usesAnyIn(P3,Platter,M)  [1x4 steps, sd=0.000]
0.750000  usesAnyIn(P3,Spoon,M)    [1x4 steps, sd=0.000]
