Index of /~degivry/instances_wmax2sat/MaxClique

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]brock800_3.clq.wcnf2026-07-31 10:35 1.5M 
[TXT]p_hat700-3.clq.wcnf2026-07-31 10:35 831K 
[TXT]hamming8-4.clq.wcnf2026-07-31 10:35 154K 
[TXT]MANN_a9.clq.wcnf2026-07-31 10:35 1.5K 
[TXT]p_hat700-2.clq.wcnf2026-07-31 10:35 1.6M 
[TXT]johnson8-4-4.clq.wcnf2026-07-31 10:35 6.7K 
[TXT]brock800_1.clq.wcnf2026-07-31 10:35 1.5M 
[TXT]brock400_1.clq.wcnf2026-07-31 10:35 268K 
[TXT]p_hat500-3.clq.wcnf2026-07-31 10:35 415K 
[TXT]p_hat1000-3.clq.wcnf2026-07-31 10:35 1.8M 
[TXT]p_hat500-1.clq.wcnf2026-07-31 10:35 1.2M 
[TXT]johnson8-2-4.clq.wcnf2026-07-31 10:35 2.2K 
[TXT]c-fat500-1.clq.wcnf2026-07-31 10:35 1.6M 
[TXT]brock400_4.clq.wcnf2026-07-31 10:35 267K 
[TXT]sanr200_0.9.clq.wcnf2026-07-31 10:35 28K 
[TXT]brock200_1.clq.wcnf2026-07-31 10:35 66K 
[TXT]p_hat500-2.clq.wcnf2026-07-31 10:35 823K 
[TXT]san400_0.7_2.clq.wcnf2026-07-31 10:35 318K 
[TXT]c-fat500-10.clq.wcnf2026-07-31 10:35 1.0M 
[TXT]san200_0.9_2.clq.wcnf2026-07-31 10:35 27K 
[TXT]san200_0.7_2.clq.wcnf2026-07-31 10:35 77K 
[TXT]c-fat500-5.clq.wcnf2026-07-31 10:35 1.3M 
[TXT]brock800_4.clq.wcnf2026-07-31 10:35 1.5M 
[TXT]johnson32-2-4.clq.wcnf2026-07-31 10:35 202K 
[ ]sanr200_0.7.clq.wcnf2026-07-31 10:35 78K 
[TXT]p_hat1000-1.clq.wcnf2026-07-31 10:35 5.3M 
[TXT]p_hat300-2.clq.wcnf2026-07-31 10:35 300K 
[TXT]san400_0.9_1.clq.wcnf2026-07-31 10:35 109K 
[TXT]brock400_3.clq.wcnf2026-07-31 10:35 268K 
[TXT]san400_0.5_1.clq.wcnf2026-07-31 10:35 528K 
[TXT]hamming8-2.clq.wcnf2026-07-31 10:35 16K 
[TXT]johnson16-2-4.clq.wcnf2026-07-31 10:35 21K 
[TXT]brock200_2.clq.wcnf2026-07-31 10:35 128K 
[ ]sanr400_0.5.clq.wcnf2026-07-31 10:35 527K 
[TXT]san400_0.7_1.clq.wcnf2026-07-31 10:35 319K 
[TXT]brock200_4.clq.wcnf2026-07-31 10:35 88K 
[TXT]brock200_3.clq.wcnf2026-07-31 10:35 101K 
[TXT]p_hat1000-2.clq.wcnf2026-07-31 10:35 3.6M 
[TXT]san200_0.9_1.clq.wcnf2026-07-31 10:35 27K 
[TXT]hamming10-2.clq.wcnf2026-07-31 10:35 83K 
[TXT]c-fat200-1.clq.wcnf2026-07-31 10:35 234K 
[TXT]keller4.clq.wcnf2026-07-31 10:35 66K 
[ ]sanr400_0.7.clq.wcnf2026-07-31 10:35 319K 
[TXT]p_hat300-1.clq.wcnf2026-07-31 10:35 443K 
[TXT]c-fat200-5.clq.wcnf2026-07-31 10:35 146K 
[TXT]p_hat300-3.clq.wcnf2026-07-31 10:35 151K 
[TXT]san200_0.7_1.clq.wcnf2026-07-31 10:35 77K 
[TXT]hamming10-4.clq.wcnf2026-07-31 10:35 1.3M 
[TXT]brock400_2.clq.wcnf2026-07-31 10:35 267K 
[TXT]c-fat200-2.clq.wcnf2026-07-31 10:35 212K 
[TXT]MANN_a27.clq.wcnf2026-07-31 10:35 13K 
[TXT]keller5.clq.wcnf2026-07-31 10:35 1.0M 
[TXT]brock800_2.clq.wcnf2026-07-31 10:35 1.5M 
[TXT]c-fat500-2.clq.wcnf2026-07-31 10:35 1.5M 
[TXT]san400_0.7_3.clq.wcnf2026-07-31 10:35 318K 
[TXT]hamming6-4.clq.wcnf2026-07-31 10:35 14K 
[TXT]MANN_a81.clq.wcnf2026-07-31 10:35 130K 
[TXT]san1000.clq.wcnf2026-07-31 10:35 3.5M 
[TXT]hamming6-2.clq.wcnf2026-07-31 10:35 2.8K 
[TXT]p_hat700-1.clq.wcnf2026-07-31 10:35 2.4M 
[TXT]MANN_a45.clq.wcnf2026-07-31 10:35 39K 
[TXT]san200_0.9_3.clq.wcnf2026-07-31 10:35 27K 
[ ]MANN_a9.clq.wcsp2026-08-07 09:35 2.2K 
[ ]MANN_a27.clq.wcsp2026-08-07 09:35 22K 
[ ]MANN_a45.clq.wcsp2026-08-07 09:35 66K 
[ ]MANN_a81.clq.wcsp2026-08-07 09:35 226K 
[ ]brock200_1.clq.wcsp2026-08-07 09:35 108K 
[ ]brock200_2.clq.wcsp2026-08-07 09:35 209K 
[ ]brock200_3.clq.wcsp2026-08-07 09:35 164K 
[ ]brock200_4.clq.wcsp2026-08-07 09:35 143K 
[ ]brock400_1.clq.wcsp2026-08-07 09:35 429K 
[ ]brock400_2.clq.wcsp2026-08-07 09:35 428K 
[ ]brock400_3.clq.wcsp2026-08-07 09:35 430K 
[ ]brock400_4.clq.wcsp2026-08-07 09:35 428K 
[ ]brock800_1.clq.wcsp2026-08-07 09:35 2.3M 
[ ]brock800_2.clq.wcsp2026-08-07 09:35 2.3M 
[ ]brock800_3.clq.wcsp2026-08-07 09:35 2.3M 
[ ]brock800_4.clq.wcsp2026-08-07 09:35 2.3M 
[ ]c-fat200-1.clq.wcsp2026-08-07 09:35 379K 
[ ]c-fat200-2.clq.wcsp2026-08-07 09:35 344K 
[ ]c-fat200-5.clq.wcsp2026-08-07 09:35 237K 
[ ]c-fat500-1.clq.wcsp2026-08-07 09:35 2.5M 
[ ]c-fat500-2.clq.wcsp2026-08-07 09:35 2.4M 
[ ]c-fat500-5.clq.wcsp2026-08-07 09:35 2.1M 
[ ]c-fat500-10.clq.wcsp2026-08-07 09:35 1.6M 
[ ]hamming6-2.clq.wcsp2026-08-07 09:35 4.8K 
[ ]hamming6-4.clq.wcsp2026-08-07 09:35 25K 
[ ]hamming8-2.clq.wcsp2026-08-07 09:35 27K 
[ ]hamming8-4.clq.wcsp2026-08-07 09:35 249K 
[ ]hamming10-2.clq.wcsp2026-08-07 09:35 137K 
[ ]hamming10-4.clq.wcsp2026-08-07 09:35 2.0M 
[ ]johnson8-2-4.clq.wcsp2026-08-07 09:35 3.6K 
[ ]johnson8-4-4.clq.wcsp2026-08-07 09:35 12K 
[ ]johnson16-2-4.clq.wcsp2026-08-07 09:35 36K 
[ ]johnson32-2-4.clq.wcsp2026-08-07 09:35 324K 
[ ]keller4.clq.wcsp2026-08-07 09:35 107K 
[ ]keller5.clq.wcsp2026-08-07 09:35 1.6M 
[ ]p_hat300-1.clq.wcsp2026-08-07 09:35 710K 
[ ]p_hat300-2.clq.wcsp2026-08-07 09:35 482K 
[ ]p_hat300-3.clq.wcsp2026-08-07 09:35 244K 
[ ]p_hat500-1.clq.wcsp2026-08-07 09:35 1.9M 
[ ]p_hat500-2.clq.wcsp2026-08-07 09:35 1.3M 
[ ]p_hat500-3.clq.wcsp2026-08-07 09:35 662K 
[ ]p_hat700-2.clq.wcsp2026-08-07 09:35 2.6M 
[ ]p_hat700-3.clq.wcsp2026-08-07 09:35 1.3M 
[ ]p_hat1000-3.clq.wcsp2026-08-07 09:35 2.8M 
[ ]san200_0.7_1.clq.wcsp2026-08-07 09:35 126K 
[ ]san200_0.7_2.clq.wcsp2026-08-07 09:35 126K 
[ ]san200_0.9_1.clq.wcsp2026-08-07 09:35 45K 
[ ]san200_0.9_2.clq.wcsp2026-08-07 09:35 45K 
[ ]san200_0.9_3.clq.wcsp2026-08-07 09:35 45K 
[ ]san400_0.5_1.clq.wcsp2026-08-07 09:35 844K 
[ ]san400_0.7_1.clq.wcsp2026-08-07 09:35 510K 
[ ]san400_0.7_2.clq.wcsp2026-08-07 09:35 510K 
[ ]san400_0.7_3.clq.wcsp2026-08-07 09:35 510K 
[ ]p_hat700-1.clq.wcsp2026-08-07 09:35 3.8M 
[ ]p_hat1000-2.clq.wcsp2026-08-07 09:35 5.6M 
[ ]san400_0.9_1.clq.wcsp2026-08-07 09:35 176K 
[ ]san1000.clq.wcsp2026-08-07 09:35 5.4M 
[ ]sanr200_0.7.clq.wcsp2026-08-07 09:35 127K 
[ ]sanr200_0.9.clq.wcsp2026-08-07 09:35 46K 
[ ]sanr400_0.5.clq.wcsp2026-08-07 09:35 842K 
[ ]sanr400_0.7.clq.wcsp2026-08-07 09:35 510K 
[ ]p_hat1000-1.clq.wcsp2026-08-07 09:35 8.2M 
[ ]brock200_1.clq.lp2026-08-07 11:11 122K 
[ ]brock200_2.clq.lp2026-08-07 11:11 238K 
[ ]brock200_3.clq.lp2026-08-07 11:11 187K 
[ ]brock200_4.clq.lp2026-08-07 11:11 163K 
[ ]brock400_1.clq.lp2026-08-07 11:11 487K 
[ ]brock400_2.clq.lp2026-08-07 11:11 485K 
[ ]brock400_3.clq.lp2026-08-07 11:11 488K 
[ ]brock400_4.clq.lp2026-08-07 11:11 486K 
[ ]brock800_1.clq.lp2026-08-07 11:11 2.7M 
[ ]brock800_2.clq.lp2026-08-07 11:11 2.6M 
[ ]brock800_3.clq.lp2026-08-07 11:11 2.7M 
[ ]brock800_4.clq.lp2026-08-07 11:11 2.7M 
[ ]c-fat200-1.clq.lp2026-08-07 11:11 432K 
[ ]c-fat200-2.clq.lp2026-08-07 11:11 393K 
[ ]c-fat200-5.clq.lp2026-08-07 11:11 270K 
[ ]c-fat500-10.clq.lp2026-08-07 11:11 1.8M 
[ ]c-fat500-1.clq.lp2026-08-07 11:11 2.8M 
[ ]c-fat500-2.clq.lp2026-08-07 11:11 2.7M 
[ ]c-fat500-5.clq.lp2026-08-07 11:11 2.4M 
[ ]hamming10-2.clq.lp2026-08-07 11:11 143K 
[ ]hamming10-4.clq.lp2026-08-07 11:11 2.1M 
[ ]hamming6-2.clq.lp2026-08-07 11:11 5.4K 
[ ]hamming6-4.clq.lp2026-08-07 11:11 30K 
[ ]hamming8-2.clq.lp2026-08-07 11:11 29K 
[ ]hamming8-4.clq.lp2026-08-07 11:11 282K 
[ ]johnson16-2-4.clq.lp2026-08-07 11:11 40K 
[ ]johnson32-2-4.clq.lp2026-08-07 11:11 366K 
[ ]johnson8-2-4.clq.lp2026-08-07 11:11 4.2K 
[ ]johnson8-4-4.clq.lp2026-08-07 11:11 14K 
[ ]keller4.clq.lp2026-08-07 11:11 121K 
[ ]keller5.clq.lp2026-08-07 11:11 1.8M 
[ ]MANN_a27.clq.lp2026-08-07 11:11 23K 
[ ]MANN_a45.clq.lp2026-08-07 11:11 66K 
[ ]MANN_a81.clq.lp2026-08-07 11:11 228K 
[ ]MANN_a9.clq.lp2026-08-07 11:11 2.4K 
[ ]p_hat1000-1.clq.lp2026-08-07 11:11 8.9M 
[ ]p_hat1000-2.clq.lp2026-08-07 11:11 6.0M 
[ ]p_hat1000-3.clq.lp2026-08-07 11:11 3.0M 
[ ]p_hat300-1.clq.lp2026-08-07 11:11 809K 
[ ]p_hat300-2.clq.lp2026-08-07 11:11 548K 
[ ]p_hat300-3.clq.lp2026-08-07 11:11 277K 
[ ]p_hat500-1.clq.lp2026-08-07 11:11 2.2M 
[ ]p_hat500-2.clq.lp2026-08-07 11:11 1.5M 
[ ]p_hat500-3.clq.lp2026-08-07 11:11 751K 
[ ]p_hat700-1.clq.lp2026-08-07 11:11 4.3M 
[ ]p_hat700-2.clq.lp2026-08-07 11:11 2.9M 
[ ]p_hat700-3.clq.lp2026-08-07 11:11 1.5M 
[ ]san1000.clq.lp2026-08-07 11:11 5.9M 
[ ]san200_0.7_1.clq.lp2026-08-07 11:11 143K 
[ ]san200_0.7_2.clq.lp2026-08-07 11:11 143K 
[ ]san200_0.9_1.clq.lp2026-08-07 11:11 50K 
[ ]san200_0.9_2.clq.lp2026-08-07 11:11 50K 
[ ]san200_0.9_3.clq.lp2026-08-07 11:11 50K 
[ ]san400_0.5_1.clq.lp2026-08-07 11:11 960K 
[ ]san400_0.7_1.clq.lp2026-08-07 11:11 579K 
[ ]san400_0.7_2.clq.lp2026-08-07 11:11 579K 
[ ]san400_0.7_3.clq.lp2026-08-07 11:11 579K 
[ ]san400_0.9_1.clq.lp2026-08-07 11:11 198K 
[ ]sanr200_0.7.clq.lp2026-08-07 11:11 144K 
[ ]sanr200_0.9.clq.lp2026-08-07 11:11 51K 
[ ]sanr400_0.5.clq.lp2026-08-07 11:11 958K 
[ ]sanr400_0.7.clq.lp2026-08-07 11:11 579K