Index of /surynpav/research/ecai2012/ecai2012_experiments/data/bijection

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] alldiff_32_34_1-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_2-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_3-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_4-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_5-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_6-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_7-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_8-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_9-bij.cnf 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_10-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_11-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_12-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_13-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_14-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_15-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_16-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_17-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_18-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_19-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_20-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_21-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_22-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_23-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_24-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_25-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_26-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_27-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_28-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_29-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_30-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_31-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_32-bij..> 24-Feb-2012 16:29 511K [TXT] alldiff_32_34_33-bij..> 24-Feb-2012 16:29 511K
Apache Server at users.fit.cvut.cz Port 443