Index of /~degivry/instances_wmax2sat/Rnd_200000_1000000

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rnd_200000var_1000000cls_0.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_0.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_0.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_1.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_1.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_1.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_2.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_2.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_2.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_3.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_3.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_3.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_4.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_4.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_4.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_5.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_5.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_5.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_6.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_6.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_6.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_7.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_7.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_7.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_8.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_8.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_8.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_9.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_9.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_9.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_10.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_10.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_10.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_11.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_11.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_11.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_12.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_12.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_12.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_13.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_13.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_13.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_14.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_14.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_14.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_15.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_15.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_15.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_16.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_16.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_16.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_17.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_17.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_17.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_18.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_18.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_18.wcsp2026-08-07 09:35 30M 
[ ]rnd_200000var_1000000cls_19.lp2026-08-07 11:11 97M 
[ ]rnd_200000var_1000000cls_19.wcnf2026-07-31 10:35 18M 
[ ]rnd_200000var_1000000cls_19.wcsp2026-08-07 09:35 30M