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

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