Index of /~degivry/evalgm/WPMS/PackupWeighted

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 192K 
[ ]1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:07 193K 
[ ]1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 153K 
[ ]1aabfc32-d491-11df-9a24-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 137K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 190K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 192K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 116K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 101K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 240K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:07 247K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:06 125K 
[ ]2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 110K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l1.dzn.xz20-Nov-2013 19:07 17K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf.xz20-Nov-2013 19:07 17K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcsp.xz20-Nov-2013 19:06 20K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l1_direct.lp.xz20-Nov-2013 19:07 20K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l2.dzn.xz20-Nov-2013 19:07 17K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf.xz20-Nov-2013 19:06 17K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcsp.xz20-Nov-2013 19:07 20K 
[ ]3e4f8550-0b33-11df-942d-00163e1d94dc_l2_direct.lp.xz20-Nov-2013 19:07 20K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 11K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 11K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 13K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 12K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 222K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:06 224K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 205K 
[ ]4a69cf16-c731-11df-9182-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 194K 
[ ]4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 8.0K 
[ ]4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 7.8K 
[ ]4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 9.0K 
[ ]4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 8.6K 
[ ]6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 12K 
[ ]6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 12K 
[ ]6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 14K 
[ ]6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 13K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.dzn.xz20-Nov-2013 19:07 73K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf.xz20-Nov-2013 19:07 74K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcsp.xz20-Nov-2013 19:07 56K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1_direct.lp.xz20-Nov-2013 19:07 50K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.dzn.xz20-Nov-2013 19:07 74K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf.xz20-Nov-2013 19:07 75K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcsp.xz20-Nov-2013 19:06 57K 
[ ]7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2_direct.lp.xz20-Nov-2013 19:07 50K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.dzn.xz20-Nov-2013 19:07 8.2K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:07 8.2K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:06 8.2K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:07 7.8K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.dzn.xz20-Nov-2013 19:06 108K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:06 109K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 73K 
[ ]7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:06 67K 
[ ]8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.dzn.xz20-Nov-2013 19:06 8.3K 
[ ]8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:07 8.3K 
[ ]8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:07 8.5K 
[ ]8afdd89e-51b8-11e0-acd7-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:07 7.9K 
[ ]8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.dzn.xz20-Nov-2013 19:07 203K 
[ ]8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:07 204K 
[ ]8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 183K 
[ ]8b0e7c16-bab4-11e0-a883-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:07 164K 
[ ]26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:06 178K 
[ ]26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:06 180K 
[ ]26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 113K 
[ ]26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 107K 
[ ]56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.dzn.xz20-Nov-2013 19:07 17K 
[ ]56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf.xz20-Nov-2013 19:07 17K 
[ ]56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcsp.xz20-Nov-2013 19:06 16K 
[ ]56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1_direct.lp.xz20-Nov-2013 19:06 16K 
[ ]56e31304-c17a-11df-b070-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 8.0K 
[ ]56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 7.8K 
[ ]56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 9.0K 
[ ]56e31304-c17a-11df-b070-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 8.6K 
[ ]80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.dzn.xz20-Nov-2013 19:06 73K 
[ ]80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf.xz20-Nov-2013 19:06 74K 
[ ]80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcsp.xz20-Nov-2013 19:06 56K 
[ ]80cfe9a6-9b1b-11df-965e-00163e46d37a_l1_direct.lp.xz20-Nov-2013 19:07 50K 
[ ]80e3fda2-9501-11e0-8001-00163e1e087d_l2.dzn.xz20-Nov-2013 19:06 58K 
[ ]80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:07 58K 
[ ]80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 40K 
[ ]80e3fda2-9501-11e0-8001-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:07 38K 
[ ]103c9978-5408-11df-9bc1-00163e7a6f5e_l1.dzn.xz20-Nov-2013 19:07 67K 
[ ]103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf.xz20-Nov-2013 19:06 68K 
[ ]103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcsp.xz20-Nov-2013 19:06 45K 
[ ]103c9978-5408-11df-9bc1-00163e7a6f5e_l1_direct.lp.xz20-Nov-2013 19:07 39K 
[ ]5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 11K 
[ ]5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 11K 
[ ]5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 13K 
[ ]5698a62c-c731-11df-9bb9-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:06 12K 
[ ]8680dd8a-8600-11e0-b285-00163e1e087d_l2.dzn.xz20-Nov-2013 19:06 179K 
[ ]8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:06 181K 
[ ]8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 178K 
[ ]8680dd8a-8600-11e0-b285-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:07 154K 
[ ]978532fa-c730-11df-b070-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 12K 
[ ]978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 12K 
[ ]978532fa-c730-11df-b070-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 14K 
[ ]978532fa-c730-11df-b070-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 13K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l1.dzn.xz20-Nov-2013 19:06 72K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf.xz20-Nov-2013 19:06 73K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l1.wcsp.xz20-Nov-2013 19:07 56K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l1_direct.lp.xz20-Nov-2013 19:07 51K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l2.dzn.xz20-Nov-2013 19:07 74K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf.xz20-Nov-2013 19:07 75K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l2.wcsp.xz20-Nov-2013 19:07 56K 
[ ]8222799a-9af8-11df-8b50-00163e46d37a_l2_direct.lp.xz20-Nov-2013 19:06 50K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l1.dzn.xz20-Nov-2013 19:07 67K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf.xz20-Nov-2013 19:07 68K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l1.wcsp.xz20-Nov-2013 19:07 45K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l1_direct.lp.xz20-Nov-2013 19:06 39K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l2.dzn.xz20-Nov-2013 19:07 70K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf.xz20-Nov-2013 19:07 71K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l2.wcsp.xz20-Nov-2013 19:06 45K 
[ ]29180036-5408-11df-9f57-00163e7a6f5e_l2_direct.lp.xz20-Nov-2013 19:07 39K 
[ ]a754ac72-95cc-11e0-9181-00163e1e087d_l2.dzn.xz20-Nov-2013 19:06 58K 
[ ]a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:06 58K 
[ ]a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:07 40K 
[ ]a754ac72-95cc-11e0-9181-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:06 38K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.dzn.xz20-Nov-2013 19:07 3.6K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:06 3.6K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:06 4.3K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:06 4.2K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.dzn.xz20-Nov-2013 19:07 203K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:07 204K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 183K 
[ ]ab9005be-bacc-11e0-b0f6-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:07 164K 
[ ]apt-cudf-universe0ea62c_l1.cnf20-Nov-2013 19:06 242K 
[ ]b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.dzn.xz20-Nov-2013 19:06 8.3K 
[ ]b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:06 8.3K 
[ ]b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:06 8.5K 
[ ]b2540c52-51b7-11e0-aa4f-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:07 7.9K 
[ ]bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 96K 
[ ]bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 96K 
[ ]bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 73K 
[ ]bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:06 66K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l1.dzn.xz20-Nov-2013 19:06 61K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf.xz20-Nov-2013 19:07 62K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l1.wcsp.xz20-Nov-2013 19:07 11K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l1_direct.lp.xz20-Nov-2013 19:07 13K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l2.dzn.xz20-Nov-2013 19:06 67K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf.xz20-Nov-2013 19:07 68K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l2.wcsp.xz20-Nov-2013 19:07 12K 
[ ]c2164c84-b015-11df-8b50-00163e46d37a_l2_direct.lp.xz20-Nov-2013 19:07 15K 
[ ]ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 99K 
[ ]ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:07 99K 
[ ]ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 74K 
[ ]ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:06 67K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 82K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 83K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 45K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:06 41K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 86K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:06 87K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:06 46K 
[ ]caefdef6-3477-11e0-84ef-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 42K 
[ ]cff22854-9512-11e0-8001-00163e1e087d_l2.dzn.xz20-Nov-2013 19:07 58K 
[ ]cff22854-9512-11e0-8001-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:07 58K 
[ ]cff22854-9512-11e0-8001-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:07 40K 
[ ]cff22854-9512-11e0-8001-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:06 38K 
[ ]d0cc7514-c730-11df-a040-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 11K 
[ ]d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 11K 
[ ]d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 13K 
[ ]d0cc7514-c730-11df-a040-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 12K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 82K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 83K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 45K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 41K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:07 86K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:07 87K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 46K 
[ ]d023d256-3477-11e0-bdb2-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 42K 
[ ]d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 82K 
[ ]d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 83K 
[ ]d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 45K 
[ ]d5026b8e-3477-11e0-986e-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:06 41K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 82K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 83K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 45K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 41K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:06 86K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:07 87K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:06 46K 
[ ]dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 42K 
[ ]deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.dzn.xz20-Nov-2013 19:06 99K 
[ ]deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf.xz20-Nov-2013 19:06 99K 
[ ]deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcsp.xz20-Nov-2013 19:07 74K 
[ ]deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2_direct.lp.xz20-Nov-2013 19:07 67K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.dzn.xz20-Nov-2013 19:06 60K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf.xz20-Nov-2013 19:07 62K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcsp.xz20-Nov-2013 19:07 27K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1_direct.lp.xz20-Nov-2013 19:06 25K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.dzn.xz20-Nov-2013 19:07 63K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf.xz20-Nov-2013 19:06 64K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcsp.xz20-Nov-2013 19:06 27K 
[ ]e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2_direct.lp.xz20-Nov-2013 19:07 26K 
[ ]e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.dzn.xz20-Nov-2013 19:06 8.2K 
[ ]e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:06 8.2K 
[ ]e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:06 8.2K 
[ ]e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:07 8.0K 
[ ]e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.dzn.xz20-Nov-2013 19:07 9.5K 
[ ]e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf.xz20-Nov-2013 19:06 9.3K 
[ ]e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcsp.xz20-Nov-2013 19:06 12K 
[ ]e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1_direct.lp.xz20-Nov-2013 19:07 12K 
[ ]e381ba7e-a192-11e0-8647-00163e1e087d_l2.dzn.xz20-Nov-2013 19:06 58K 
[ ]e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcnf.xz20-Nov-2013 19:07 58K 
[ ]e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcsp.xz20-Nov-2013 19:06 40K 
[ ]e381ba7e-a192-11e0-8647-00163e1e087d_l2_direct.lp.xz20-Nov-2013 19:06 38K 
[ ]e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 82K 
[ ]e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 83K 
[ ]e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 37K 
[ ]e599f3fc-360e-11e0-986e-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 35K 
[ ]ec32fc68-7254-11e0-8436-00163e1e087d_l1.dzn.xz20-Nov-2013 19:07 86K 
[ ]ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf.xz20-Nov-2013 19:07 87K 
[ ]ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcsp.xz20-Nov-2013 19:06 37K 
[ ]ec32fc68-7254-11e0-8436-00163e1e087d_l1_direct.lp.xz20-Nov-2013 19:07 36K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.dzn.xz20-Nov-2013 19:06 67K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf.xz20-Nov-2013 19:07 68K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcsp.xz20-Nov-2013 19:06 45K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l1_direct.lp.xz20-Nov-2013 19:07 39K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.dzn.xz20-Nov-2013 19:07 70K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf.xz20-Nov-2013 19:06 71K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcsp.xz20-Nov-2013 19:06 45K 
[ ]eeee44ce-5407-11df-b11f-00163e7a6f5e_l2_direct.lp.xz20-Nov-2013 19:07 39K 
[ ]f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:06 82K 
[ ]f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:06 83K 
[ ]f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:06 37K 
[ ]f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 35K 
[ ]fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 96K 
[ ]fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 96K 
[ ]fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 73K 
[ ]fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 66K 
[ ]ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.dzn.xz20-Nov-2013 19:07 8.7K 
[ ]ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf.xz20-Nov-2013 19:07 8.5K 
[ ]ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcsp.xz20-Nov-2013 19:07 10K 
[ ]ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1_direct.lp.xz20-Nov-2013 19:07 9.2K 
[ ]rand30_l1.dzn.xz20-Nov-2013 19:07 44K 
[ ]rand30_l1.wcnf.xz20-Nov-2013 19:07 44K 
[ ]rand30_l1.wcsp.xz20-Nov-2013 19:06 40K 
[ ]rand30_l1_direct.lp.xz20-Nov-2013 19:07 40K 
[ ]rand83_l1.dzn.xz20-Nov-2013 19:07 41K 
[ ]rand83_l1.wcnf.xz20-Nov-2013 19:07 41K 
[ ]rand83_l1.wcsp.xz20-Nov-2013 19:06 36K 
[ ]rand83_l1_direct.lp.xz20-Nov-2013 19:07 35K 
[ ]rand83_l2.dzn.xz20-Nov-2013 19:06 220K 
[ ]rand83_l2.wcnf.xz20-Nov-2013 19:06 222K 
[ ]rand83_l2.wcsp.xz20-Nov-2013 19:07 148K 
[ ]rand83_l2_direct.lp.xz20-Nov-2013 19:06 143K 
[ ]rand116_l2.dzn.xz20-Nov-2013 19:06 226K 
[ ]rand116_l2.wcnf.xz20-Nov-2013 19:07 229K 
[ ]rand116_l2.wcsp.xz20-Nov-2013 19:06 152K 
[ ]rand116_l2_direct.lp.xz20-Nov-2013 19:07 147K 
[ ]rand118_l2.dzn.xz20-Nov-2013 19:07 231K 
[ ]rand118_l2.wcnf.xz20-Nov-2013 19:07 234K 
[ ]rand118_l2.wcsp.xz20-Nov-2013 19:06 143K 
[ ]rand118_l2_direct.lp.xz20-Nov-2013 19:07 140K 
[ ]rand131_l2.dzn.xz20-Nov-2013 19:07 237K 
[ ]rand131_l2.wcnf.xz20-Nov-2013 19:07 240K 
[ ]rand131_l2.wcsp.xz20-Nov-2013 19:07 162K 
[ ]rand131_l2_direct.lp.xz20-Nov-2013 19:07 159K 
[ ]rand172_l1.dzn.xz20-Nov-2013 19:07 48K 
[ ]rand172_l1.wcnf.xz20-Nov-2013 19:06 49K 
[ ]rand172_l1.wcsp.xz20-Nov-2013 19:07 52K 
[ ]rand172_l1_direct.lp.xz20-Nov-2013 19:07 50K 
[ ]rand179_l1.dzn.xz20-Nov-2013 19:07 54K 
[ ]rand179_l1.wcnf.xz20-Nov-2013 19:06 54K 
[ ]rand179_l1.wcsp.xz20-Nov-2013 19:06 49K 
[ ]rand179_l1_direct.lp.xz20-Nov-2013 19:07 48K 
[ ]rand196_l1.dzn.xz20-Nov-2013 19:06 44K 
[ ]rand196_l1.wcnf.xz20-Nov-2013 19:07 44K 
[ ]rand196_l1.wcsp.xz20-Nov-2013 19:07 45K 
[ ]rand196_l1_direct.lp.xz20-Nov-2013 19:06 44K 
[ ]rand196_l2.dzn.xz20-Nov-2013 19:07 220K 
[ ]rand196_l2.wcnf.xz20-Nov-2013 19:06 222K 
[ ]rand196_l2.wcsp.xz20-Nov-2013 19:07 202K 
[ ]rand196_l2_direct.lp.xz20-Nov-2013 19:07 191K 
[ ]rand208_l1.dzn.xz20-Nov-2013 19:06 59K 
[ ]rand208_l1.wcnf.xz20-Nov-2013 19:06 60K 
[ ]rand208_l1.wcsp.xz20-Nov-2013 19:07 54K 
[ ]rand208_l1_direct.lp.xz20-Nov-2013 19:07 53K 
[ ]rand208_l2.dzn.xz20-Nov-2013 19:06 223K 
[ ]rand208_l2.wcnf.xz20-Nov-2013 19:06 225K 
[ ]rand208_l2.wcsp.xz20-Nov-2013 19:06 152K 
[ ]rand208_l2_direct.lp.xz20-Nov-2013 19:06 146K 
[ ]rand213_l2.dzn.xz20-Nov-2013 19:07 140K 
[ ]rand213_l2.wcnf.xz20-Nov-2013 19:06 141K 
[ ]rand213_l2.wcsp.xz20-Nov-2013 19:07 57K 
[ ]rand213_l2_direct.lp.xz20-Nov-2013 19:06 57K 
[ ]rand220_l2.dzn.xz20-Nov-2013 19:07 223K 
[ ]rand220_l2.wcnf.xz20-Nov-2013 19:07 225K 
[ ]rand220_l2.wcsp.xz20-Nov-2013 19:07 149K 
[ ]rand220_l2_direct.lp.xz20-Nov-2013 19:06 143K 
[ ]rand242_l1.dzn.xz20-Nov-2013 19:07 33K 
[ ]rand242_l1.wcnf.xz20-Nov-2013 19:06 33K 
[ ]rand242_l1.wcsp.xz20-Nov-2013 19:06 36K 
[ ]rand242_l1_direct.lp.xz20-Nov-2013 19:07 36K 
[ ]rand293_l1.dzn.xz20-Nov-2013 19:07 80K 
[ ]rand293_l1.wcnf.xz20-Nov-2013 19:07 81K 
[ ]rand293_l1.wcsp.xz20-Nov-2013 19:07 78K 
[ ]rand293_l1_direct.lp.xz20-Nov-2013 19:07 74K 
[ ]rand307_l2.dzn.xz20-Nov-2013 19:07 140K 
[ ]rand307_l2.wcnf.xz20-Nov-2013 19:06 140K 
[ ]rand307_l2.wcsp.xz20-Nov-2013 19:07 59K 
[ ]rand307_l2_direct.lp.xz20-Nov-2013 19:07 58K 
[ ]rand308_l2.dzn.xz20-Nov-2013 19:07 142K 
[ ]rand308_l2.wcnf.xz20-Nov-2013 19:07 143K 
[ ]rand308_l2.wcsp.xz20-Nov-2013 19:07 101K 
[ ]rand308_l2_direct.lp.xz20-Nov-2013 19:07 94K 
[ ]rand377_l2.dzn.xz20-Nov-2013 19:07 146K 
[ ]rand377_l2.wcnf.xz20-Nov-2013 19:07 146K 
[ ]rand377_l2.wcsp.xz20-Nov-2013 19:07 115K 
[ ]rand377_l2_direct.lp.xz20-Nov-2013 19:06 107K 
[ ]rand381_l1.dzn.xz20-Nov-2013 19:07 14K 
[ ]rand381_l1.wcnf.xz20-Nov-2013 19:06 14K 
[ ]rand381_l1.wcsp.xz20-Nov-2013 19:07 15K 
[ ]rand381_l1_direct.lp.xz20-Nov-2013 19:06 14K 
[ ]rand393_l1.dzn.xz20-Nov-2013 19:06 16K 
[ ]rand393_l1.wcnf.xz20-Nov-2013 19:07 16K 
[ ]rand393_l1.wcsp.xz20-Nov-2013 19:06 18K 
[ ]rand393_l1_direct.lp.xz20-Nov-2013 19:07 17K 
[ ]rand425_l1.dzn.xz20-Nov-2013 19:06 71K 
[ ]rand425_l1.wcnf.xz20-Nov-2013 19:06 71K 
[ ]rand425_l1.wcsp.xz20-Nov-2013 19:06 64K 
[ ]rand425_l1_direct.lp.xz20-Nov-2013 19:07 61K 
[ ]rand446_l1.dzn.xz20-Nov-2013 19:07 25K 
[ ]rand446_l1.wcnf.xz20-Nov-2013 19:06 26K 
[ ]rand446_l1.wcsp.xz20-Nov-2013 19:07 27K 
[ ]rand446_l1_direct.lp.xz20-Nov-2013 19:07 27K 
[ ]rand491_l2.dzn.xz20-Nov-2013 19:07 223K 
[ ]rand491_l2.wcnf.xz20-Nov-2013 19:06 225K 
[ ]rand491_l2.wcsp.xz20-Nov-2013 19:07 155K 
[ ]rand491_l2_direct.lp.xz20-Nov-2013 19:07 151K 
[ ]rand507_l1.dzn.xz20-Nov-2013 19:07 29K 
[ ]rand507_l1.wcnf.xz20-Nov-2013 19:06 29K 
[ ]rand507_l1.wcsp.xz20-Nov-2013 19:07 29K 
[ ]rand507_l1_direct.lp.xz20-Nov-2013 19:07 28K 
[ ]rand507_l2.dzn.xz20-Nov-2013 19:07 142K 
[ ]rand507_l2.wcnf.xz20-Nov-2013 19:07 143K 
[ ]rand507_l2.wcsp.xz20-Nov-2013 19:07 134K 
[ ]rand507_l2_direct.lp.xz20-Nov-2013 19:07 121K 
[ ]rand547_l2.dzn.xz20-Nov-2013 19:07 228K 
[ ]rand547_l2.wcnf.xz20-Nov-2013 19:07 230K 
[ ]rand547_l2.wcsp.xz20-Nov-2013 19:06 144K 
[ ]rand547_l2_direct.lp.xz20-Nov-2013 19:06 142K 
[ ]rand583_l2.dzn.xz20-Nov-2013 19:07 140K 
[ ]rand583_l2.wcnf.xz20-Nov-2013 19:06 140K 
[ ]rand583_l2.wcsp.xz20-Nov-2013 19:06 68K 
[ ]rand583_l2_direct.lp.xz20-Nov-2013 19:07 65K 
[ ]rand653_l2.dzn.xz20-Nov-2013 19:07 144K 
[ ]rand653_l2.wcnf.xz20-Nov-2013 19:07 144K 
[ ]rand653_l2.wcsp.xz20-Nov-2013 19:07 103K 
[ ]rand653_l2_direct.lp.xz20-Nov-2013 19:07 96K 
[ ]rand695_l1.dzn.xz20-Nov-2013 19:06 19K 
[ ]rand695_l1.wcnf.xz20-Nov-2013 19:06 19K 
[ ]rand695_l1.wcsp.xz20-Nov-2013 19:07 20K 
[ ]rand695_l1_direct.lp.xz20-Nov-2013 19:07 19K 
[ ]rand717_l2.dzn.xz20-Nov-2013 19:07 234K 
[ ]rand717_l2.wcnf.xz20-Nov-2013 19:07 237K 
[ ]rand717_l2.wcsp.xz20-Nov-2013 19:06 167K 
[ ]rand717_l2_direct.lp.xz20-Nov-2013 19:07 161K 
[ ]rand752_l1.dzn.xz20-Nov-2013 19:07 47K 
[ ]rand752_l1.wcnf.xz20-Nov-2013 19:07 47K 
[ ]rand752_l1.wcsp.xz20-Nov-2013 19:07 50K 
[ ]rand752_l1_direct.lp.xz20-Nov-2013 19:06 50K 
[ ]rand869_l1.dzn.xz20-Nov-2013 19:07 45K 
[ ]rand869_l1.wcnf.xz20-Nov-2013 19:07 45K 
[ ]rand869_l1.wcsp.xz20-Nov-2013 19:07 47K 
[ ]rand869_l1_direct.lp.xz20-Nov-2013 19:07 47K 
[ ]rand874_l1.dzn.xz20-Nov-2013 19:07 58K 
[ ]rand874_l1.wcnf.xz20-Nov-2013 19:07 59K 
[ ]rand874_l1.wcsp.xz20-Nov-2013 19:07 63K 
[ ]rand874_l1_direct.lp.xz20-Nov-2013 19:07 62K 
[ ]rand892_l1.dzn.xz20-Nov-2013 19:07 22K 
[ ]rand892_l1.wcnf.xz20-Nov-2013 19:07 23K 
[ ]rand892_l1.wcsp.xz20-Nov-2013 19:06 26K 
[ ]rand892_l1_direct.lp.xz20-Nov-2013 19:06 24K 
[ ]rand892_l2.dzn.xz20-Nov-2013 19:07 141K 
[ ]rand892_l2.wcnf.xz20-Nov-2013 19:06 141K 
[ ]rand892_l2.wcsp.xz20-Nov-2013 19:06 149K 
[ ]rand892_l2_direct.lp.xz20-Nov-2013 19:07 133K 
[ ]rand929_l2.dzn.xz20-Nov-2013 19:07 141K 
[ ]rand929_l2.wcnf.xz20-Nov-2013 19:07 142K 
[ ]rand929_l2.wcsp.xz20-Nov-2013 19:07 93K 
[ ]rand929_l2_direct.lp.xz20-Nov-2013 19:07 86K 
[ ]rand954_l1.dzn.xz20-Nov-2013 19:07 24K 
[ ]rand954_l1.wcnf.xz20-Nov-2013 19:07 25K 
[ ]rand954_l1.wcsp.xz20-Nov-2013 19:07 21K 
[ ]rand954_l1_direct.lp.xz20-Nov-2013 19:07 21K 
[ ]rand981_l2.dzn.xz20-Nov-2013 19:06 220K 
[ ]rand981_l2.wcnf.xz20-Nov-2013 19:07 222K 
[ ]rand981_l2.wcsp.xz20-Nov-2013 19:07 157K 
[ ]rand981_l2_direct.lp.xz20-Nov-2013 19:07 153K 
[ ]rand984_l1.dzn.xz20-Nov-2013 19:07 38K 
[ ]rand984_l1.wcnf.xz20-Nov-2013 19:06 38K 
[ ]rand984_l1.wcsp.xz20-Nov-2013 19:06 38K 
[ ]rand984_l1_direct.lp.xz20-Nov-2013 19:07 38K 
[ ]rand984_l2.dzn.xz20-Nov-2013 19:07 236K 
[ ]rand984_l2.wcnf.xz20-Nov-2013 19:06 238K 
[ ]rand984_l2.wcsp.xz20-Nov-2013 19:07 168K 
[ ]rand984_l2_direct.lp.xz20-Nov-2013 19:06 163K 
[ ]wcnf.mzn20-Nov-2013 19:06 909