0.10/0.16 c
0.10/0.16 c This is cosoco 2.00 --
0.10/0.16 c
0.10/0.16 c command line: cosoco -model -nbcores=8 HOME/instance-4410064-1569832361.xml
0.10/0.16 c intension imp(ne(x[5][0],3),eq(wk[0][0],1)) -> extension (support ? 0) - 3tuples
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.25 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension -> extension : same as previous
0.89/0.94 c intension imp(ne(x[0][0],3),ne(x[1][0],3)) -> extension (support ? 0) - 3tuples
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension -> extension : same as previous
1.09/1.16 c intension iff(eq(cn[0],0),eq(x[17][0],2)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[9],0),eq(x[58][0],1)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[14],0),eq(x[66][0],2)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[17],0),eq(x[8][1],2)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[22],0),eq(x[16][1],0)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[25],0),eq(x[42][1],2)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension iff(eq(cn[26],0),eq(x[28][2],0)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[28],0),eq(x[34][2],1)) -> extension (support ? 1) - 4tuples
1.09/1.17 c intension -> extension : same as previous
1.09/1.17 c intension iff(eq(cn[30],0),eq(x[40][2],1)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension iff(eq(cn[31],0),eq(x[67][2],0)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension iff(eq(cn[32],0),eq(x[72][2],2)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension iff(eq(cn[33],0),eq(x[80][2],2)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension iff(eq(cn[36],0),eq(x[1][3],1)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension iff(eq(cn[37],0),eq(x[9][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension iff(eq(cn[42],0),eq(x[23][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension iff(eq(cn[47],0),eq(x[39][3],1)) -> extension (support ? 1) - 4tuples
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension -> extension : same as previous
1.09/1.18 c intension iff(eq(cn[50],0),eq(x[58][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[55],0),eq(x[70][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[57],0),eq(x[3][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension iff(eq(cn[58],0),eq(x[11][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[61],0),eq(x[34][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[64],0),eq(x[41][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension iff(eq(cn[65],0),eq(x[58][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[68],0),eq(x[71][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension -> extension : same as previous
1.09/1.19 c intension iff(eq(cn[71],0),eq(x[80][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.20 c intension -> extension : same as previous
1.09/1.20 c intension -> extension : same as previous
1.09/1.20 c intension iff(eq(cn[74],0),eq(x[21][5],2)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension iff(eq(cn[78],0),eq(x[29][5],1)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension iff(eq(cn[79],0),eq(x[53][5],2)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension iff(eq(cn[83],0),eq(x[74][5],1)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension iff(eq(cn[86],0),eq(x[19][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension iff(eq(cn[90],0),eq(x[26][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension iff(eq(cn[91],0),eq(x[38][6],2)) -> extension (support ? 1) - 4tuples
1.19/1.20 c intension -> extension : same as previous
1.19/1.20 c intension iff(eq(cn[93],0),eq(x[45][6],2)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[98],0),eq(x[63][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension iff(eq(cn[99],0),eq(x[23][7],2)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[101],0),eq(x[44][7],0)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[104],0),eq(x[52][7],2)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension iff(eq(cn[105],0),eq(x[68][7],1)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[108],0),eq(x[50][8],0)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension iff(eq(cn[109],0),eq(x[58][8],0)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[114],0),eq(x[71][8],2)) -> extension (support ? 1) - 4tuples
1.19/1.21 c intension -> extension : same as previous
1.19/1.21 c intension iff(eq(cn[116],0),eq(x[76][8],1)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[119],0),eq(x[12][9],1)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[121],0),eq(x[31][9],0)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[125],0),eq(x[54][9],2)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension iff(eq(cn[126],0),eq(x[59][9],2)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[130],0),eq(x[73][9],0)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[135],0),eq(x[9][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension -> extension : same as previous
1.19/1.22 c intension iff(eq(cn[139],0),eq(x[20][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[143],0),eq(x[43][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[145],0),eq(x[55][10],0)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[149],0),eq(x[63][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[151],0),eq(x[69][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[153],0),eq(x[83][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension iff(eq(cn[154],0),eq(x[1][11],2)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[159],0),eq(x[12][11],0)) -> extension (support ? 1) - 4tuples
1.19/1.23 c intension -> extension : same as previous
1.19/1.23 c intension iff(eq(cn[161],0),eq(x[24][11],0)) -> extension (support ? 1) - 4tuples
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension iff(eq(cn[166],0),eq(x[47][11],2)) -> extension (support ? 1) - 4tuples
1.19/1.24 c intension iff(eq(cn[167],0),eq(x[61][11],1)) -> extension (support ? 1) - 4tuples
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension iff(eq(cn[172],0),eq(x[32][12],1)) -> extension (support ? 1) - 4tuples
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension iff(eq(cn[175],0),eq(x[56][12],1)) -> extension (support ? 1) - 4tuples
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension -> extension : same as previous
1.19/1.24 c intension iff(eq(cn[180],0),eq(x[74][12],2)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[185],0),eq(x[17][13],0)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[188],0),eq(x[25][13],1)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[191],0),eq(x[62][13],2)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[194],0),eq(x[74][13],1)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[198],0),eq(x[15][14],1)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[203],0),eq(x[30][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.25 c intension -> extension : same as previous
1.19/1.25 c intension iff(eq(cn[205],0),eq(x[40][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension iff(eq(cn[209],0),eq(x[58][14],1)) -> extension (support ? 1) - 4tuples
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension iff(eq(cn[212],0),eq(x[68][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension iff(eq(cn[219],0),eq(x[11][15],1)) -> extension (support ? 1) - 4tuples
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension -> extension : same as previous
1.19/1.26 c intension iff(eq(cn[224],0),eq(x[45][15],1)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[229],0),eq(x[62][15],2)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[231],0),eq(x[78][15],0)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[235],0),eq(x[11][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[237],0),eq(x[19][16],0)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[244],0),eq(x[38][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension -> extension : same as previous
1.19/1.27 c intension iff(eq(cn[248],0),eq(x[59][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension iff(eq(cn[250],0),eq(x[68][16],0)) -> extension (support ? 1) - 4tuples
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension iff(eq(cn[254],0),eq(x[3][17],2)) -> extension (support ? 1) - 4tuples
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension iff(eq(cn[259],0),eq(x[12][17],1)) -> extension (support ? 1) - 4tuples
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension iff(eq(cn[264],0),eq(x[58][17],0)) -> extension (support ? 1) - 4tuples
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension -> extension : same as previous
1.19/1.28 c intension iff(eq(cn[268],0),eq(x[74][17],0)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension iff(eq(cn[273],0),eq(x[15][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension iff(eq(cn[275],0),eq(x[40][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension iff(eq(cn[276],0),eq(x[45][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension iff(eq(cn[277],0),eq(x[64][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension iff(eq(cn[287],0),eq(x[11][19],0)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension iff(eq(cn[288],0),eq(x[15][19],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension -> extension : same as previous
1.19/1.29 c intension iff(eq(cn[291],0),eq(x[27][19],1)) -> extension (support ? 1) - 4tuples
1.19/1.29 c intension iff(eq(cn[292],0),eq(x[75][19],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[295],0),eq(x[38][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension iff(eq(cn[296],0),eq(x[44][20],0)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[300],0),eq(x[58][20],0)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension iff(eq(cn[301],0),eq(x[63][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension iff(eq(cn[302],0),eq(x[68][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[305],0),eq(x[7][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[307],0),eq(x[19][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[310],0),eq(x[27][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension -> extension : same as previous
1.29/1.30 c intension iff(eq(cn[315],0),eq(x[38][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension iff(eq(cn[316],0),eq(x[42][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension iff(eq(cn[317],0),eq(x[57][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension iff(eq(cn[320],0),eq(x[79][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension iff(ne(cf[0],0),eq(x[6][0],1)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension iff(ne(cf[1],0),eq(x[82][0],1)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension iff(ne(cf[2],0),eq(x[48][1],2)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension iff(ne(cf[7],0),eq(x[64][1],0)) -> extension (support ? 1) - 4tuples
1.29/1.31 c intension -> extension : same as previous
1.29/1.31 c intension iff(ne(cf[9],0),eq(x[76][1],0)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[12],0),eq(x[1][2],2)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[15],0),eq(x[9][2],0)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[19],0),eq(x[17][2],1)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[23],0),eq(x[52][2],0)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[25],0),eq(x[12][5],2)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[27],0),eq(x[0][6],2)) -> extension (support ? 1) - 4tuples
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension -> extension : same as previous
1.29/1.32 c intension iff(ne(cf[31],0),eq(x[53][6],0)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[36],0),eq(x[70][6],1)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[38],0),eq(x[31][7],0)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[42],0),eq(x[21][9],2)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[45],0),eq(x[52][11],1)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[47],0),eq(x[79][11],1)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[49],0),eq(x[2][12],2)) -> extension (support ? 1) - 4tuples
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension -> extension : same as previous
1.29/1.33 c intension iff(ne(cf[53],0),eq(x[26][12],2)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension iff(ne(cf[61],0),eq(x[83][12],1)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension iff(ne(cf[62],0),eq(x[35][13],2)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension iff(ne(cf[63],0),eq(x[42][13],1)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension iff(ne(cf[64],0),eq(x[57][13],1)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension iff(ne(cf[65],0),eq(x[3][15],0)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension iff(ne(cf[67],0),eq(x[26][15],1)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension iff(ne(cf[71],0),eq(x[0][19],0)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension iff(ne(cf[73],0),eq(x[35][19],0)) -> extension (support ? 1) - 4tuples
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension -> extension : same as previous
1.29/1.34 c intension iff(ne(cf[79],0),eq(x[3][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension iff(ne(cf[84],0),eq(x[31][20],2)) -> extension (support ? 1) - 4tuples
1.29/1.35 c intension iff(ne(cf[85],0),eq(x[75][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension -> extension : same as previous
1.29/1.35 c intension iff(ne(cf[90],0),eq(x[73][21],2)) -> extension (support ? 1) - 4tuples
2001.67/252.02 c intension -> extension : same as previous
2001.67/252.02 c enable optimization
2001.67/252.02 c ========================================[ Problem Statistics ]===========================================
2001.67/252.02 c |
2001.67/252.02 c | Parse time : 1.09 s
2001.67/252.02 c |
2001.67/252.02 c | Variables: 3286
2001.67/252.02 c | Domain Sizes: 1..85
2001.67/252.02 c |
2001.67/252.02 c | Constraints: 9165
2001.67/252.02 c | Arity: 1..750 -- Unary: 176 -- Binary: 3148 -- Ternary: 3652
2001.67/252.02 c |
2001.67/252.02 c | Types:
2001.67/252.02 c | At least: 1742
2001.67/252.02 c | Exactly K variable: 424
2001.67/252.02 c | Extension: 3148 (nb tuples: 0..23) -- (shared: 23848)
2001.67/252.02 c | MDD: 3608
2001.67/252.02 c | Sum: 67
2001.67/252.02 c | Unary: 176
2001.67/252.02 c |
2001.67/252.02 c | Objective: Minimize Sum
2001.67/252.02
2001.67/252.02 c =========================================================================================================
2001.67/252.02 c Parallel mode: Portfolio
2001.67/252.02 c [pFactory][Group N°0] created (threads:8).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2001.67/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2001.67/252.02 c [pFactory][Group N°0] concurrent mode: enabled.
2001.67/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2001.67/252.02 c [pFactory][Group N°0] task 7 launched on thread 1.
2001.67/252.02 c [pFactory][Group N°0] task 6 launched on thread 0.
2001.67/252.02 c [pFactory][Group N°0] task 5 launched on thread 2.
2001.67/252.02 c [pFactory][Group N°0] task 4 launched on thread 5.
2001.67/252.02 c [pFactory][Group N°0] task 3 launched on thread 6.
2001.67/252.02 c [pFactory][Group N°0] task 2 launched on thread 4.
2001.67/252.02 c [pFactory][Group N°0] task 1 launched on thread 7.
2001.67/252.02 c [pFactory][Group N°0] task 0 launched on thread 3.
2001.67/252.02
2001.67/252.02 c *** INTERRUPTED ***
2001.67/252.02 c call to solver : 0
2001.67/252.02 c
2001.67/252.02 c restarts : 11743
2001.67/252.02 c conflicts : 134613 (67 /sec)
2001.67/252.02 c decisions : 935242 (468 /sec)
2001.67/252.02 c propagations : 21377417 (10687 /sec)
2001.67/252.02 c root propagations : 5634
2001.67/252.02 c filter calls : 44142716 (22068 /sec)
2001.67/252.02 c useless filter calls : 37263770 (84 %)
2001.67/252.02 c Memory used : 1638.02 MB
2001.67/252.02 c Best bound time (wc) : -1.56983e+09 s
2001.67/252.02 c CPU time : 2000.34 s
2001.67/252.02 c real time : 252.019 s
2001.67/252.02
2001.67/252.02 c No Bound found!
2001.67/252.02
2001.67/252.02 s UNKNOWN