Index of /~degivry/instances_wmax2sat/VertexCover

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sanr400_0.7.clq.lp2026-08-07 11:11 1.3M 
[ ]sanr400_0.5.clq.lp2026-08-07 11:11 962K 
[ ]sanr200_0.9.clq.lp2026-08-07 11:11 421K 
[ ]sanr200_0.7.clq.lp2026-08-07 11:11 327K 
[ ]san400_0.9_1.clq.lp2026-08-07 11:11 1.7M 
[ ]san400_0.7_3.clq.lp2026-08-07 11:11 1.3M 
[ ]san400_0.7_2.clq.lp2026-08-07 11:11 1.3M 
[ ]san400_0.7_1.clq.lp2026-08-07 11:11 1.3M 
[ ]san400_0.5_1.clq.lp2026-08-07 11:11 960K 
[ ]san200_0.9_3.clq.lp2026-08-07 11:11 422K 
[ ]san200_0.9_2.clq.lp2026-08-07 11:11 422K 
[ ]san200_0.9_1.clq.lp2026-08-07 11:11 422K 
[ ]san200_0.7_2.clq.lp2026-08-07 11:11 329K 
[ ]san200_0.7_1.clq.lp2026-08-07 11:11 329K 
[ ]san1000.clq.lp2026-08-07 11:11 5.9M 
[ ]p_hat700-3.clq.lp2026-08-07 11:11 4.3M 
[ ]p_hat700-2.clq.lp2026-08-07 11:11 2.9M 
[ ]p_hat700-1.clq.lp2026-08-07 11:11 1.4M 
[ ]p_hat500-3.clq.lp2026-08-07 11:11 2.2M 
[ ]p_hat500-2.clq.lp2026-08-07 11:11 1.5M 
[ ]p_hat500-1.clq.lp2026-08-07 11:11 767K 
[ ]p_hat300-3.clq.lp2026-08-07 11:11 797K 
[ ]p_hat300-2.clq.lp2026-08-07 11:11 526K 
[ ]p_hat300-1.clq.lp2026-08-07 11:11 265K 
[ ]p_hat1500-3.clq.lp2026-08-07 11:11 21M 
[ ]p_hat1500-2.clq.lp2026-08-07 11:11 14M 
[ ]p_hat1500-1.clq.lp2026-08-07 11:11 7.0M 
[ ]p_hat1000-3.clq.lp2026-08-07 11:11 8.8M 
[ ]p_hat1000-2.clq.lp2026-08-07 11:11 5.8M 
[ ]p_hat1000-1.clq.lp2026-08-07 11:11 2.9M 
[ ]MANN_a9.clq.lp2026-08-07 11:11 21K 
[ ]MANN_a81.clq.lp2026-08-07 11:11 138M 
[ ]MANN_a45.clq.lp2026-08-07 11:11 13M 
[ ]MANN_a27.clq.lp2026-08-07 11:11 1.6M 
[ ]keller6.clq.lp2026-08-07 11:11 116M 
[ ]keller5.clq.lp2026-08-07 11:11 5.3M 
[ ]keller4.clq.lp2026-08-07 11:11 221K 
[ ]johnson8-4-4.clq.lp2026-08-07 11:11 42K 
[ ]johnson8-2-4.clq.lp2026-08-07 11:11 5.1K 
[ ]johnson32-2-4.clq.lp2026-08-07 11:11 2.5M 
[ ]johnson16-2-4.clq.lp2026-08-07 11:11 126K 
[ ]hamming8-4.clq.lp2026-08-07 11:11 497K 
[ ]hamming8-2.clq.lp2026-08-07 11:11 750K 
[ ]hamming6-4.clq.lp2026-08-07 11:11 17K 
[ ]hamming6-2.clq.lp2026-08-07 11:11 42K 
[ ]hamming10-4.clq.lp2026-08-07 11:11 10M 
[ ]hamming10-2.clq.lp2026-08-07 11:11 12M 
[ ]c-fat500-5.clq.lp2026-08-07 11:11 565K 
[ ]c-fat500-2.clq.lp2026-08-07 11:11 228K 
[ ]c-fat500-1.clq.lp2026-08-07 11:11 116K 
[ ]c-fat500-10.clq.lp2026-08-07 11:11 1.1M 
[ ]c-fat200-5.clq.lp2026-08-07 11:11 201K 
[ ]c-fat200-2.clq.lp2026-08-07 11:11 79K 
[ ]c-fat200-1.clq.lp2026-08-07 11:11 39K 
[ ]brock800_4.clq.lp2026-08-07 11:11 4.9M 
[ ]brock800_3.clq.lp2026-08-07 11:11 4.9M 
[ ]brock800_2.clq.lp2026-08-07 11:11 4.9M 
[ ]brock800_1.clq.lp2026-08-07 11:11 4.9M 
[ ]brock400_4.clq.lp2026-08-07 11:11 1.4M 
[ ]brock400_3.clq.lp2026-08-07 11:11 1.4M 
[ ]brock400_2.clq.lp2026-08-07 11:11 1.4M 
[ ]brock400_1.clq.lp2026-08-07 11:11 1.4M 
[ ]brock200_4.clq.lp2026-08-07 11:11 309K 
[ ]brock200_3.clq.lp2026-08-07 11:11 285K 
[ ]brock200_2.clq.lp2026-08-07 11:11 234K 
[ ]brock200_1.clq.lp2026-08-07 11:11 350K 
[ ]MANN_a81.clq.wcsp2026-08-07 09:36 144M 
[ ]keller6.clq.wcsp2026-08-07 09:35 120M 
[ ]p_hat1500-3.clq.wcsp2026-08-07 09:35 21M 
[ ]sanr400_0.7.clq.wcsp2026-08-07 09:35 1.3M 
[ ]sanr400_0.5.clq.wcsp2026-08-07 09:35 925K 
[ ]san1000.clq.wcsp2026-08-07 09:35 5.9M 
[ ]san400_0.9_1.clq.wcsp2026-08-07 09:35 1.6M 
[ ]san400_0.7_3.clq.wcsp2026-08-07 09:35 1.3M 
[ ]san400_0.7_2.clq.wcsp2026-08-07 09:35 1.3M 
[ ]san400_0.7_1.clq.wcsp2026-08-07 09:35 1.3M 
[ ]san400_0.5_1.clq.wcsp2026-08-07 09:35 923K 
[ ]p_hat1500-2.clq.wcsp2026-08-07 09:35 14M 
[ ]sanr200_0.9.clq.wcsp2026-08-07 09:35 404K 
[ ]sanr200_0.7.clq.wcsp2026-08-07 09:35 315K 
[ ]san200_0.9_3.clq.wcsp2026-08-07 09:35 405K 
[ ]san200_0.9_2.clq.wcsp2026-08-07 09:35 405K 
[ ]san200_0.9_1.clq.wcsp2026-08-07 09:35 405K 
[ ]san200_0.7_2.clq.wcsp2026-08-07 09:35 316K 
[ ]san200_0.7_1.clq.wcsp2026-08-07 09:35 316K 
[ ]p_hat1500-1.clq.wcsp2026-08-07 09:35 7.0M 
[ ]p_hat1000-3.clq.wcsp2026-08-07 09:35 8.8M 
[ ]p_hat1000-2.clq.wcsp2026-08-07 09:35 5.8M 
[ ]p_hat700-3.clq.wcsp2026-08-07 09:35 4.3M 
[ ]p_hat700-2.clq.wcsp2026-08-07 09:35 2.9M 
[ ]p_hat700-1.clq.wcsp2026-08-07 09:35 1.4M 
[ ]p_hat500-3.clq.wcsp2026-08-07 09:35 2.1M 
[ ]p_hat500-2.clq.wcsp2026-08-07 09:35 1.4M 
[ ]keller5.clq.wcsp2026-08-07 09:35 5.3M 
[ ]hamming10-4.clq.wcsp2026-08-07 09:35 10M 
[ ]hamming10-2.clq.wcsp2026-08-07 09:35 12M 
[ ]p_hat1000-1.clq.wcsp2026-08-07 09:35 2.9M 
[ ]p_hat500-1.clq.wcsp2026-08-07 09:35 738K 
[ ]p_hat300-3.clq.wcsp2026-08-07 09:35 766K 
[ ]p_hat300-2.clq.wcsp2026-08-07 09:35 506K 
[ ]p_hat300-1.clq.wcsp2026-08-07 09:35 256K 
[ ]keller4.clq.wcsp2026-08-07 09:35 204K 
[ ]johnson32-2-4.clq.wcsp2026-08-07 09:35 2.5M 
[ ]johnson8-4-4.clq.wcsp2026-08-07 09:35 39K 
[ ]johnson8-2-4.clq.wcsp2026-08-07 09:35 4.5K 
[ ]MANN_a45.clq.wcsp2026-08-07 09:35 13M 
[ ]johnson16-2-4.clq.wcsp2026-08-07 09:35 115K 
[ ]hamming8-4.clq.wcsp2026-08-07 09:35 477K 
[ ]hamming8-2.clq.wcsp2026-08-07 09:35 720K 
[ ]hamming6-4.clq.wcsp2026-08-07 09:35 15K 
[ ]hamming6-2.clq.wcsp2026-08-07 09:35 38K 
[ ]c-fat500-10.clq.wcsp2026-08-07 09:35 1.1M 
[ ]c-fat500-5.clq.wcsp2026-08-07 09:35 545K 
[ ]c-fat500-2.clq.wcsp2026-08-07 09:35 212K 
[ ]c-fat500-1.clq.wcsp2026-08-07 09:35 109K 
[ ]c-fat200-5.clq.wcsp2026-08-07 09:35 186K 
[ ]c-fat200-2.clq.wcsp2026-08-07 09:35 74K 
[ ]c-fat200-1.clq.wcsp2026-08-07 09:35 37K 
[ ]brock800_4.clq.wcsp2026-08-07 09:35 4.9M 
[ ]brock800_3.clq.wcsp2026-08-07 09:35 4.9M 
[ ]brock800_2.clq.wcsp2026-08-07 09:35 4.9M 
[ ]brock800_1.clq.wcsp2026-08-07 09:35 4.9M 
[ ]brock400_4.clq.wcsp2026-08-07 09:35 1.3M 
[ ]brock400_3.clq.wcsp2026-08-07 09:35 1.3M 
[ ]brock400_2.clq.wcsp2026-08-07 09:35 1.3M 
[ ]brock400_1.clq.wcsp2026-08-07 09:35 1.3M 
[ ]brock200_4.clq.wcsp2026-08-07 09:35 297K 
[ ]brock200_3.clq.wcsp2026-08-07 09:35 274K 
[ ]brock200_2.clq.wcsp2026-08-07 09:35 225K 
[ ]brock200_1.clq.wcsp2026-08-07 09:35 336K 
[ ]MANN_a27.clq.wcsp2026-08-07 09:35 1.6M 
[ ]MANN_a9.clq.wcsp2026-08-07 09:35 18K 
[ ]sanr400_0.7.clq.wcnf2026-08-05 09:58 847K 
[ ]sanr400_0.5.clq.wcnf2026-08-05 09:58 607K 
[ ]sanr200_0.9.clq.wcnf2026-08-05 09:58 262K 
[ ]sanr200_0.7.clq.wcnf2026-08-05 09:58 204K 
[ ]san400_0.9_1.clq.wcnf2026-08-05 09:58 1.1M 
[ ]san400_0.7_3.clq.wcnf2026-08-05 09:58 847K 
[ ]san400_0.7_2.clq.wcnf2026-08-05 09:58 847K 
[ ]san400_0.7_1.clq.wcnf2026-08-05 09:58 847K 
[ ]san400_0.5_1.clq.wcnf2026-08-05 09:58 606K 
[ ]san200_0.9_3.clq.wcnf2026-08-05 09:58 263K 
[ ]san200_0.9_2.clq.wcnf2026-08-05 09:58 263K 
[ ]san200_0.9_1.clq.wcnf2026-08-05 09:58 263K 
[ ]san200_0.7_2.clq.wcnf2026-08-05 09:58 205K 
[ ]san200_0.7_1.clq.wcnf2026-08-05 09:58 205K 
[ ]san1000.clq.wcnf2026-08-05 09:58 4.0M 
[ ]p_hat700-3.clq.wcnf2026-08-05 09:58 2.9M 
[ ]p_hat700-2.clq.wcnf2026-08-05 09:58 1.9M 
[ ]p_hat700-1.clq.wcnf2026-08-05 09:58 941K 
[ ]p_hat500-3.clq.wcnf2026-08-05 09:58 1.4M 
[ ]p_hat500-2.clq.wcnf2026-08-05 09:58 962K 
[ ]p_hat500-1.clq.wcnf2026-08-05 09:58 484K 
[ ]p_hat300-3.clq.wcnf2026-08-05 09:58 501K 
[ ]p_hat300-2.clq.wcnf2026-08-05 09:58 330K 
[ ]p_hat300-1.clq.wcnf2026-08-05 09:58 166K 
[ ]p_hat1500-3.clq.wcnf2026-08-05 09:58 14M 
[ ]p_hat1500-2.clq.wcnf2026-08-05 09:58 9.5M 
[ ]p_hat1500-1.clq.wcnf2026-08-05 09:58 4.8M 
[ ]p_hat1000-3.clq.wcnf2026-08-05 09:58 6.0M 
[ ]p_hat1000-2.clq.wcnf2026-08-05 09:58 3.9M 
[ ]p_hat1000-1.clq.wcnf2026-08-05 09:58 2.0M 
[ ]keller6.clq.wcnf2026-08-05 09:58 85M 
[ ]keller5.clq.wcnf2026-08-05 09:58 3.6M 
[ ]keller4.clq.wcnf2026-08-05 09:58 128K 
[ ]johnson8-4-4.clq.wcnf2026-08-05 09:58 24K 
[ ]johnson8-2-4.clq.wcnf2026-08-05 09:58 2.6K 
[ ]johnson32-2-4.clq.wcnf2026-08-05 09:58 1.7M 
[ ]johnson16-2-4.clq.wcnf2026-08-05 09:58 71K 
[ ]hamming8-4.clq.wcnf2026-08-05 09:58 311K 
[ ]hamming8-2.clq.wcnf2026-08-05 09:58 470K 
[ ]hamming6-4.clq.wcnf2026-08-05 09:58 8.6K 
[ ]hamming6-2.clq.wcnf2026-08-05 09:58 23K 
[ ]hamming10-4.clq.wcnf2026-08-05 09:58 7.0M 
[ ]hamming10-2.clq.wcnf2026-08-05 09:58 8.3M 
[ ]c-fat500-5.clq.wcnf2026-08-05 09:58 357K 
[ ]c-fat500-2.clq.wcnf2026-08-05 09:58 134K 
[ ]c-fat500-10.clq.wcnf2026-08-05 09:58 713K 
[ ]c-fat500-1.clq.wcnf2026-08-05 09:58 68K 
[ ]c-fat200-5.clq.wcnf2026-08-05 09:58 117K 
[ ]c-fat200-2.clq.wcnf2026-08-05 09:58 46K 
[ ]c-fat200-1.clq.wcnf2026-08-05 09:58 23K 
[ ]brock800_4.clq.wcnf2026-08-05 09:58 3.3M 
[ ]brock800_3.clq.wcnf2026-08-05 09:58 3.3M 
[ ]brock800_2.clq.wcnf2026-08-05 09:58 3.3M 
[ ]brock800_1.clq.wcnf2026-08-05 09:58 3.3M 
[ ]brock400_4.clq.wcnf2026-08-05 09:58 906K 
[ ]brock400_3.clq.wcnf2026-08-05 09:58 905K 
[ ]brock400_2.clq.wcnf2026-08-05 09:58 906K 
[ ]brock400_1.clq.wcnf2026-08-05 09:58 905K 
[ ]brock200_4.clq.wcnf2026-08-05 09:58 192K 
[ ]brock200_3.clq.wcnf2026-08-05 09:58 177K 
[ ]brock200_2.clq.wcnf2026-08-05 09:58 146K 
[ ]brock200_1.clq.wcnf2026-08-05 09:58 218K 
[ ]MANN_a9.clq.wcnf2026-08-05 09:58 11K 
[ ]MANN_a81.clq.wcnf2026-08-05 09:58 102M 
[ ]MANN_a45.clq.wcnf2026-08-05 09:58 8.6M 
[ ]MANN_a27.clq.wcnf2026-08-05 09:58 1.0M