0.31/0.35 c
0.31/0.35 c This is cosoco 2.00 --
0.31/0.35 c
0.31/0.35 c command line: cosoco -model -nbcores=8 HOME/instance-4409872-1569836398.xml
0.31/0.35 c intension eq(dist(f[36],f[400]),40) -> extension (support ? 1) - 50tuples
0.31/0.36 c intension eq(dist(f[300],f[393]),40) -> extension (support ? 1) - 230tuples
0.31/0.38 c intension eq(dist(f[178],f[57]),40) -> extension (support ? 1) - 282tuples
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples
0.31/0.39 c intension eq(dist(f[197],f[382]),40) -> extension (support ? 1) - 282tuples
0.31/0.40 c intension eq(dist(f[101],f[208]),40) -> extension (support ? 1) - 230tuples
0.31/0.40 c intension eq(dist(f[11],f[179]),40) -> extension (support ? 1) - 58tuples
0.31/0.41 c intension eq(dist(f[317],f[338]),40) -> extension (support ? 1) - 282tuples
0.31/0.41 c intension eq(dist(f[244],f[60]),40) -> extension (support ? 1) - 38tuples
0.41/0.41 c intension eq(dist(f[125],f[369]),40) -> extension (support ? 1) - 106tuples
0.41/0.42 c intension eq(dist(f[119],f[18]),40) -> extension (support ? 1) - 38tuples
0.41/0.42 c intension eq(dist(f[22],f[81]),40) -> extension (support ? 1) - 50tuples
0.41/0.42 c intension eq(dist(f[370],f[38]),40) -> extension (support ? 1) - 38tuples
0.41/0.43 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 282tuples
0.41/0.43 c intension eq(dist(f[110],f[391]),40) -> extension (support ? 1) - 70tuples
0.41/0.44 c intension eq(dist(f[124],f[406]),40) -> extension (support ? 1) - 282tuples
0.41/0.45 c intension -> extension : same as previous
0.41/0.45 c intension -> extension : same as previous
0.41/0.45 c intension -> extension : same as previous
0.41/0.45 c intension -> extension : same as previous
0.41/0.45 c intension eq(dist(f[136],f[387]),40) -> extension (support ? 1) - 38tuples
0.41/0.46 c intension eq(dist(f[242],f[6]),40) -> extension (support ? 1) - 282tuples
0.41/0.46 c intension eq(dist(f[403],f[407]),40) -> extension (support ? 1) - 82tuples
0.41/0.46 c intension eq(dist(f[106],f[224]),40) -> extension (support ? 1) - 38tuples
0.41/0.47 c intension eq(dist(f[0],f[226]),40) -> extension (support ? 1) - 282tuples
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension -> extension : same as previous
0.41/0.48 c intension eq(dist(f[142],f[311]),40) -> extension (support ? 1) - 38tuples
0.41/0.48 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 30tuples
0.41/0.49 c intension eq(dist(f[53],f[73]),40) -> extension (support ? 1) - 282tuples
0.41/0.49 c intension -> extension : same as previous
0.41/0.49 c intension -> extension : same as previous
0.41/0.49 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples
0.41/0.49 c intension eq(dist(f[111],f[137]),40) -> extension (support ? 1) - 38tuples
0.41/0.49 c intension eq(dist(f[134],f[63]),40) -> extension (support ? 1) - 30tuples
0.41/0.50 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples
0.41/0.50 c intension -> extension : same as previous
0.41/0.50 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples
0.41/0.50 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples
0.41/0.50 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples
0.50/0.51 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples
0.50/0.52 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples
0.50/0.53 c intension eq(dist(f[69],f[7]),40) -> extension (support ? 1) - 282tuples
0.50/0.53 c intension -> extension : same as previous
0.50/0.53 c intension -> extension : same as previous
0.50/0.53 c intension eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples
0.50/0.53 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples
0.50/0.53 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples
0.50/0.53 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples
0.50/0.55 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples
0.50/0.56 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples
0.50/0.57 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples
0.50/0.57 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples
0.50/0.57 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples
0.50/0.57 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples
0.50/0.58 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples
0.50/0.58 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples
0.50/0.59 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples
0.50/0.59 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples
0.50/0.59 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples
0.50/0.59 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples
0.50/0.59 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples
0.50/0.60 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples
0.50/0.60 c intension -> extension : same as previous
0.50/0.60 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples
0.60/0.60 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples
0.60/0.61 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples
0.60/0.61 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples
0.60/0.61 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples
0.60/0.62 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples
0.60/0.63 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples
0.60/0.63 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples
0.60/0.63 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples
0.60/0.64 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples
0.60/0.64 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples
0.60/0.65 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples
0.60/0.66 c intension -> extension : same as previous
0.60/0.66 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples
0.60/0.66 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples
0.60/0.67 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples
0.60/0.68 c intension -> extension : same as previous
0.60/0.68 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples
0.60/0.68 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples
0.60/0.69 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples
0.60/0.69 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples
0.60/0.70 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples
0.69/0.70 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples
0.69/0.70 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples
0.69/0.71 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples
0.69/0.71 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples
0.69/0.72 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples
0.69/0.73 c intension -> extension : same as previous
0.69/0.73 c intension -> extension : same as previous
0.69/0.73 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples
0.69/0.74 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples
0.69/0.75 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples
0.69/0.75 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples
0.69/0.77 c intension eq(dist(f[13],f[90]),40) -> extension (support ? 1) - 282tuples
0.69/0.77 c intension -> extension : same as previous
0.69/0.77 c intension -> extension : same as previous
0.69/0.77 c intension -> extension : same as previous
0.69/0.77 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples
0.69/0.78 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples
0.69/0.79 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples
0.69/0.79 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples
0.69/0.80 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples
0.79/0.81 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples
0.79/0.81 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples
0.79/0.82 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples
0.79/0.82 c intension -> extension : same as previous
0.79/0.82 c intension -> extension : same as previous
0.79/0.82 c intension -> extension : same as previous
0.79/0.82 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples
0.79/0.83 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples
0.79/0.84 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples
0.79/0.85 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples
0.79/0.85 c intension -> extension : same as previous
0.79/0.85 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples
0.79/0.86 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples
0.79/0.86 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples
0.79/0.87 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples
0.79/0.87 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples
0.79/0.87 c intension -> extension : same as previous
0.79/0.87 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples
0.79/0.88 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples
0.79/0.89 c intension -> extension : same as previous
0.79/0.89 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples
0.79/0.89 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples
0.89/0.90 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples
0.89/0.92 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples
0.89/0.93 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples
0.89/0.93 c intension -> extension : same as previous
0.89/0.93 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples
0.89/0.93 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples
0.89/0.93 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples
0.89/0.95 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples
0.89/0.95 c intension -> extension : same as previous
0.89/0.95 c intension -> extension : same as previous
0.89/0.95 c intension -> extension : same as previous
0.89/0.95 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples
0.89/0.96 c intension eq(dist(f[202],f[72]),40) -> extension (support ? 1) - 282tuples
0.89/0.96 c intension -> extension : same as previous
0.89/0.96 c intension -> extension : same as previous
0.89/0.96 c intension -> extension : same as previous
0.89/0.96 c intension -> extension : same as previous
0.89/0.96 c intension -> extension : same as previous
0.89/0.96 c intension eq(dist(f[165],f[390]),40) -> extension (support ? 1) - 38tuples
0.89/0.97 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples
0.89/0.98 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples
0.89/0.99 c intension -> extension : same as previous
0.89/0.99 c intension -> extension : same as previous
0.89/0.99 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples
0.89/1.00 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples
0.89/1.00 c intension -> extension : same as previous
0.89/1.00 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples
0.89/1.00 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples
1.00/1.01 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples
1.00/1.02 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples
1.00/1.02 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples
1.00/1.03 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples
1.00/1.03 c intension -> extension : same as previous
1.00/1.03 c intension -> extension : same as previous
1.00/1.03 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples
1.00/1.04 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples
1.00/1.05 c intension -> extension : same as previous
1.00/1.05 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples
1.00/1.05 c intension -> extension : same as previous
1.00/1.05 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples
1.00/1.07 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.07 c AllEqual constraint using 1 generic x=y constraints
1.00/1.08 c intension -> extension : same as previous
1.00/1.08 c intension -> extension : same as previous
1.00/1.08 c intension -> extension : same as previous
1.00/1.08 c intension -> extension : same as previous
1.00/1.08 c intension -> extension : same as previous
1.00/1.08 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples
1.00/1.09 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples
1.10/1.11 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples
1.10/1.11 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples
1.10/1.12 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples
1.10/1.12 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples
1.10/1.13 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples
1.10/1.14 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples
1.10/1.14 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples
1.10/1.15 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples
1.10/1.15 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples
1.19/1.26 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples
1.29/1.32 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples
1.29/1.37 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples
1.39/1.42 c intension -> extension : same as previous
1.39/1.42 c intension -> extension : same as previous
1.39/1.42 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples
1.39/1.48 c intension -> extension : same as previous
1.39/1.48 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples
1.49/1.54 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples
1.59/1.61 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples
1.59/1.66 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples
1.69/1.70 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples
1.69/1.75 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples
1.79/1.80 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples
1.79/1.87 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples
1.89/1.93 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples
1.89/1.99 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples
2.00/2.05 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples
2.00/2.10 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples
2.09/2.15 c intension -> extension : same as previous
2.09/2.15 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples
2.19/2.20 c intension -> extension : same as previous
2.19/2.20 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples
2.19/2.22 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples
2.19/2.27 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples
2.29/2.31 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples
2.29/2.36 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples
2.39/2.41 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples
2.39/2.46 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples
2.49/2.52 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples
2.49/2.54 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples
2.49/2.56 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples
2.49/2.58 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples
2.59/2.61 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples
2.59/2.68 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples
2.69/2.73 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples
2.69/2.75 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples
2.69/2.78 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples
2.79/2.80 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples
2.79/2.86 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples
2.89/2.91 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples
2.89/2.97 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples
3.00/3.01 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples
3.00/3.07 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples
3.10/3.12 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples
3.10/3.17 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples
3.19/3.21 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples
3.19/3.24 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples
3.19/3.29 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples
3.29/3.35 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples
3.29/3.38 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples
3.39/3.44 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples
3.39/3.46 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples
3.39/3.49 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples
3.49/3.51 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples
3.49/3.57 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples
3.49/3.59 c intension eq(dist(f[23],f[404]),d[264]) -> extension (support ? 1) - 841tuples
3.59/3.67 c intension eq(dist(f[30],f[81]),d[335]) -> extension (support ? 1) - 1225tuples
3.69/3.70 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples
3.69/3.77 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples
3.69/3.79 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples
3.79/3.84 c intension eq(dist(f[32],f[363]),d[356]) -> extension (support ? 1) - 1131tuples
3.79/3.86 c intension eq(dist(f[32],f[401]),d[357]) -> extension (support ? 1) - 841tuples
3.89/3.91 c intension eq(dist(f[32],f[408]),d[358]) -> extension (support ? 1) - 1131tuples
3.89/3.94 c intension eq(dist(f[33],f[64]),d[359]) -> extension (support ? 1) - 1015tuples
3.89/3.97 c intension eq(dist(f[224],f[33]),d[360]) -> extension (support ? 1) - 841tuples
4.00/4.01 c intension eq(dist(f[33],f[364]),d[364]) -> extension (support ? 1) - 841tuples
4.00/4.02 c intension -> extension : same as previous
4.00/4.02 c intension eq(dist(f[166],f[34]),d[367]) -> extension (support ? 1) - 625tuples
4.00/4.08 c intension eq(dist(f[263],f[34]),d[369]) -> extension (support ? 1) - 1575tuples
4.00/4.09 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples
4.09/4.13 c intension eq(dist(f[308],f[34]),d[372]) -> extension (support ? 1) - 875tuples
4.09/4.17 c intension eq(dist(f[36],f[77]),d[384]) -> extension (support ? 1) - 1225tuples
4.18/4.23 c intension eq(dist(f[36],f[82]),d[385]) -> extension (support ? 1) - 1575tuples
4.18/4.26 c intension eq(dist(f[36],f[397]),d[389]) -> extension (support ? 1) - 1225tuples
4.29/4.33 c intension eq(dist(f[38],f[51]),d[403]) -> extension (support ? 1) - 1479tuples
4.29/4.36 c intension eq(dist(f[164],f[38]),d[405]) -> extension (support ? 1) - 841tuples
4.29/4.38 c intension eq(dist(f[258],f[38]),d[407]) -> extension (support ? 1) - 841tuples
4.39/4.42 c intension eq(dist(f[291],f[38]),d[410]) -> extension (support ? 1) - 841tuples
4.39/4.44 c intension eq(dist(f[38],f[390]),d[413]) -> extension (support ? 1) - 841tuples
4.48/4.51 c intension -> extension : same as previous
4.48/4.51 c intension eq(dist(f[42],f[44]),d[451]) -> extension (support ? 1) - 1305tuples
4.48/4.57 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples
4.58/4.61 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples
4.58/4.68 c intension eq(dist(f[310],f[42]),d[457]) -> extension (support ? 1) - 2025tuples
4.68/4.73 c intension -> extension : same as previous
4.68/4.73 c intension eq(dist(f[291],f[43]),d[461]) -> extension (support ? 1) - 1131tuples
4.68/4.76 c intension eq(dist(f[131],f[44]),d[466]) -> extension (support ? 1) - 841tuples
4.68/4.79 c intension eq(dist(f[136],f[44]),d[467]) -> extension (support ? 1) - 841tuples
4.78/4.85 c intension eq(dist(f[168],f[44]),d[468]) -> extension (support ? 1) - 1131tuples
4.78/4.87 c intension eq(dist(f[355],f[44]),d[474]) -> extension (support ? 1) - 841tuples
4.89/4.94 c intension eq(dist(f[195],f[48]),d[497]) -> extension (support ? 1) - 1131tuples
4.89/4.99 c intension eq(dist(f[282],f[48]),d[499]) -> extension (support ? 1) - 1521tuples
5.00/5.02 c intension eq(dist(f[49],f[64]),d[500]) -> extension (support ? 1) - 1225tuples
5.00/5.05 c intension eq(dist(f[49],f[92]),d[501]) -> extension (support ? 1) - 875tuples
5.10/5.12 c intension eq(dist(f[135],f[49]),d[503]) -> extension (support ? 1) - 1365tuples
5.10/5.15 c intension eq(dist(f[205],f[49]),d[505]) -> extension (support ? 1) - 1015tuples
5.10/5.18 c intension eq(dist(f[398],f[49]),d[509]) -> extension (support ? 1) - 1225tuples
5.18/5.25 c intension eq(dist(f[164],f[51]),d[524]) -> extension (support ? 1) - 1479tuples
5.29/5.31 c intension eq(dist(f[258],f[51]),d[525]) -> extension (support ? 1) - 1479tuples
5.29/5.36 c intension eq(dist(f[291],f[51]),d[526]) -> extension (support ? 1) - 1479tuples
5.39/5.42 c intension eq(dist(f[387],f[51]),d[528]) -> extension (support ? 1) - 1479tuples
5.39/5.49 c intension eq(dist(f[54],f[60]),d[555]) -> extension (support ? 1) - 1479tuples
5.48/5.59 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples
5.58/5.61 c intension eq(dist(f[238],f[63]),d[633]) -> extension (support ? 1) - 725tuples
5.58/5.69 c intension eq(dist(f[135],f[64]),d[637]) -> extension (support ? 1) - 1365tuples
5.68/5.72 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples
5.79/5.80 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples
5.79/5.88 c intension eq(dist(f[238],f[67]),d[663]) -> extension (support ? 1) - 1827tuples
5.89/5.90 c intension eq(dist(f[68],f[83]),d[669]) -> extension (support ? 1) - 841tuples
5.89/5.95 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples
5.89/5.97 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples
5.99/6.01 c intension eq(dist(f[267],f[68]),d[675]) -> extension (support ? 1) - 841tuples
5.99/6.05 c intension eq(dist(f[351],f[68]),d[678]) -> extension (support ? 1) - 1305tuples
6.09/6.16 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples
6.18/6.22 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples
6.18/6.28 c intension eq(dist(f[370],f[76]),d[758]) -> extension (support ? 1) - 1479tuples
6.28/6.31 c intension -> extension : same as previous
6.28/6.31 c intension eq(dist(f[77],f[83]),d[761]) -> extension (support ? 1) - 1015tuples
6.28/6.34 c intension -> extension : same as previous
6.28/6.34 c intension eq(dist(f[314],f[77]),d[763]) -> extension (support ? 1) - 1225tuples
6.38/6.41 c intension eq(dist(f[216],f[79]),d[780]) -> extension (support ? 1) - 1479tuples
6.38/6.47 c intension eq(dist(f[355],f[79]),d[784]) -> extension (support ? 1) - 1479tuples
6.48/6.52 c intension eq(dist(f[387],f[79]),d[787]) -> extension (support ? 1) - 1479tuples
6.48/6.58 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples
6.59/6.61 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples
6.59/6.65 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples
6.59/6.69 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples
6.68/6.72 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples
6.68/6.76 c intension -> extension : same as previous
6.68/6.76 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples
6.78/6.80 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples
6.78/6.84 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples
6.78/6.89 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples
6.88/6.95 c intension -> extension : same as previous
6.88/6.95 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples
6.88/6.97 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples
6.99/7.01 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples
6.99/7.05 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples
7.09/7.11 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples
7.09/7.14 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples
7.09/7.16 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples
7.19/7.23 c intension -> extension : same as previous
7.19/7.23 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples
7.19/7.28 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples
7.29/7.34 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples
7.38/7.41 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples
7.38/7.46 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples
7.48/7.51 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples
7.48/7.57 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples
7.58/7.61 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples
7.58/7.63 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples
7.58/7.66 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples
7.68/7.78 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples
7.78/7.81 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples
7.78/7.87 c intension -> extension : same as previous
7.78/7.87 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples
7.88/7.93 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples
7.88/7.97 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples
7.99/8.03 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples
7.99/8.10 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples
8.09/8.14 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples
8.09/8.18 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples
8.18/8.23 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples
8.18/8.28 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples
8.29/8.35 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples
8.38/8.40 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples
8.38/8.47 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples
8.48/8.52 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples
8.48/8.55 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples
8.48/8.58 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples
8.58/8.61 c intension -> extension : same as previous
8.58/8.61 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples
8.58/8.65 c intension -> extension : same as previous
8.58/8.65 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples
8.58/8.67 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples
8.68/8.72 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples
8.68/8.76 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples
8.68/8.78 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples
8.78/8.84 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples
8.89/8.90 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples
8.89/8.97 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples
8.99/9.02 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples
8.99/9.04 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples
8.99/9.10 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples
9.09/9.17 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples
9.18/9.23 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples
9.18/9.26 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples
9.18/9.27 c intension -> extension : same as previous
9.18/9.27 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples
9.28/9.31 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples
9.28/9.36 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples
9.39/9.41 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples
9.39/9.48 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples
9.49/9.52 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples
9.49/9.58 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples
9.59/9.63 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples
9.59/9.65 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples
9.59/9.69 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples
9.68/9.71 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples
9.68/9.74 c intension -> extension : same as previous
9.68/9.74 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples
9.68/9.77 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples
9.78/9.82 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples
9.78/9.88 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples
9.88/9.91 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples
9.88/9.96 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples
9.99/10.02 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples
9.99/10.09 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples
10.09/10.16 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples
10.19/10.22 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples
10.19/10.27 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples
10.28/10.30 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples
10.28/10.33 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples
10.28/10.38 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples
10.38/10.42 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples
10.38/10.45 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples
10.38/10.47 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples
10.48/10.50 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples
10.48/10.54 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples
10.48/10.57 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples
10.58/10.69 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples
10.68/10.73 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples
10.78/10.80 c intension -> extension : same as previous
10.78/10.80 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples
10.78/10.84 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples
10.78/10.87 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples
10.88/10.94 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples
10.99/11.01 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples
10.99/11.07 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples
10.99/11.10 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples
11.10/11.12 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples
11.10/11.13 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples
11.18/11.21 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples
11.18/11.27 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples
11.28/11.32 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples
11.28/11.38 c intension -> extension : same as previous
11.28/11.38 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples
11.38/11.41 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples
11.38/11.43 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples
11.38/11.49 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples
11.48/11.56 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples
11.48/11.59 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples
11.58/11.61 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples
11.58/11.64 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples
11.58/11.66 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples
11.58/11.68 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples
11.68/11.72 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples
11.68/11.75 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples
11.68/11.78 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples
11.78/11.80 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples
11.78/11.85 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples
11.88/11.93 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples
11.88/12.00 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples
11.99/12.02 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples
11.99/12.07 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples
11.99/12.09 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples
12.09/12.15 c intension -> extension : same as previous
12.09/12.15 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples
12.19/12.22 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples
12.19/12.24 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples
12.19/12.29 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples
12.28/12.34 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples
12.28/12.38 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples
12.38/12.41 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples
12.38/12.44 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples
12.38/12.47 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples
12.38/12.49 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples
12.48/12.52 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples
12.48/12.58 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples
12.58/12.66 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples
12.68/12.72 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples
12.68/12.74 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples
12.78/12.80 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples
12.78/12.82 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples
12.78/12.87 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples
12.88/12.94 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples
12.88/12.98 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples
12.88/13.00 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples
13.00/13.05 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples
13.00/13.08 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples
13.00/13.10 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples
13.09/13.12 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples
13.09/13.16 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples
13.09/13.19 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples
13.18/13.22 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples
13.18/13.28 c intension -> extension : same as previous
13.18/13.28 c intension -> extension : same as previous
13.18/13.28 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples
13.28/13.30 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples
13.28/13.36 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples
13.39/13.43 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples
13.49/13.50 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples
13.49/13.54 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples
13.49/13.58 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples
13.58/13.61 c intension -> extension : same as previous
13.58/13.61 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples
13.58/13.68 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples
13.68/13.72 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples
13.68/13.77 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples
13.78/13.83 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples
13.78/13.85 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples
13.78/13.90 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples
13.89/13.94 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples
13.89/13.99 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples
13.99/14.03 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples
13.99/14.09 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples
14.09/14.12 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples
14.09/14.16 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples
14.09/14.19 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples
14.28/14.30 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples
14.28/14.33 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples
14.28/14.35 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples
14.28/14.38 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples
14.38/14.41 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples
14.38/14.43 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples
14.48/14.50 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples
14.48/14.54 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples
14.48/14.57 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples
14.58/14.63 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples
1466.64/252.02 c enable optimization
1466.64/252.02 c ========================================[ Problem Statistics ]===========================================
1466.64/252.02 c |
1466.64/252.02 c | Parse time : 75.65 s
1466.64/252.02 c |
1466.64/252.02 c | Variables: 7590
1466.64/252.02 c | Domain Sizes: 1..151
1466.64/252.02 c |
1466.64/252.02 c | Constraints: 4737
1466.64/252.02 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249
1466.64/252.02 c |
1466.64/252.02 c | Types:
1466.64/252.02 c | (X != Y): 7
1466.64/252.02 c | (X = Y): 9
1466.64/252.02 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 808)
1466.64/252.02 c | Intension: 1929
1466.64/252.02 c | Sum: 1
1466.64/252.02 c |
1466.64/252.02 c | Objective: Minimize Sum
1466.64/252.02
1466.64/252.02 c =========================================================================================================
1466.64/252.02 c Parallel mode: Portfolio
1466.64/252.02 c [pFactory][Group N°0] created (threads:8).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1466.64/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1466.64/252.02 c [pFactory][Group N°0] concurrent mode: enabled.
1466.64/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1466.64/252.02 c [pFactory][Group N°0] task 7 launched on thread 0.
1466.64/252.02 c [pFactory][Group N°0] task 6 launched on thread 1.
1466.64/252.02 c [pFactory][Group N°0] task 5 launched on thread 2.
1466.64/252.02 c [pFactory][Group N°0] task 4 launched on thread 7.
1466.64/252.02 c [pFactory][Group N°0] task 3 launched on thread 5.
1466.64/252.02 c [pFactory][Group N°0] task 2 launched on thread 3.
1466.64/252.02 c [pFactory][Group N°0] task 1 launched on thread 4.
1466.64/252.02 c [pFactory][Group N°0] task 0 launched on thread 6.
1466.64/252.02
1466.64/252.02 c *** INTERRUPTED ***
1466.64/252.02 c call to solver : 0
1466.64/252.02 c
1466.64/252.02 c restarts : 153
1466.64/252.02 c conflicts : 2074 (1 /sec)
1466.64/252.02 c decisions : 97632 (68 /sec)
1466.64/252.02 c propagations : 4644739 (3218 /sec)
1466.64/252.02 c root propagations : 18913
1466.64/252.02 c filter calls : 1226024 (849 /sec)
1466.64/252.02 c useless filter calls : 992053 (80 %)
1466.64/252.02 c Memory used : 7250.17 MB
1466.64/252.02 c Best bound time (wc) : -1.56984e+09 s
1466.64/252.02 c CPU time : 1443.57 s
1466.64/252.02 c real time : 252.018 s
1466.64/252.02
1466.64/252.02 c No Bound found!
1466.64/252.02
1466.64/252.02 s UNKNOWN