Index of /~degivry/instances_wmax2sat/MinCut

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mincut10_42.wcnf2026-08-06 11:53 812K 
[ ]mincut10_41.wcnf2026-08-06 11:53 812K 
[ ]mincut10_31.wcnf2026-08-06 11:53 812K 
[ ]mincut10_15.wcnf2026-08-06 11:53 812K 
[ ]mincut10_48.wcnf2026-08-06 11:53 812K 
[ ]mincut10_19.wcnf2026-08-06 11:53 812K 
[ ]mincut10_47.wcnf2026-08-06 11:53 812K 
[ ]mincut10_26.wcnf2026-08-06 11:53 812K 
[ ]mincut10_29.wcnf2026-08-06 11:53 812K 
[ ]mincut10_30.wcnf2026-08-06 11:53 812K 
[ ]mincut10_37.wcnf2026-08-06 11:53 812K 
[ ]mincut10_4.wcnf2026-08-06 11:53 812K 
[ ]mincut10_5.wcnf2026-08-06 11:53 812K 
[ ]mincut10_33.wcnf2026-08-06 11:53 812K 
[ ]mincut10_35.wcnf2026-08-06 11:53 812K 
[ ]mincut10_34.wcnf2026-08-06 11:53 812K 
[ ]mincut10_14.wcnf2026-08-06 11:53 812K 
[ ]mincut10_40.wcnf2026-08-06 11:53 812K 
[ ]mincut10_27.wcnf2026-08-06 11:53 812K 
[ ]mincut10_17.wcnf2026-08-06 11:53 812K 
[ ]mincut10_6.wcnf2026-08-06 11:53 812K 
[ ]mincut10_45.wcnf2026-08-06 11:53 812K 
[ ]mincut10_13.wcnf2026-08-06 11:53 812K 
[ ]mincut10_16.wcnf2026-08-06 11:53 812K 
[ ]mincut10_25.wcnf2026-08-06 11:53 812K 
[ ]mincut10_20.wcnf2026-08-06 11:53 812K 
[ ]mincut10_32.wcnf2026-08-06 11:53 812K 
[ ]mincut10_3.wcnf2026-08-06 11:53 812K 
[ ]mincut10_49.wcnf2026-08-06 11:53 812K 
[ ]mincut10_24.wcnf2026-08-06 11:53 812K 
[ ]mincut10_44.wcnf2026-08-06 11:53 812K 
[ ]mincut10_7.wcnf2026-08-06 11:53 812K 
[ ]mincut10_10.wcnf2026-08-06 11:53 812K 
[ ]mincut10_8.wcnf2026-08-06 11:53 812K 
[ ]mincut10_1.wcnf2026-08-06 11:53 812K 
[ ]mincut10_18.wcnf2026-08-06 11:53 812K 
[ ]mincut10_38.wcnf2026-08-06 11:53 812K 
[ ]mincut10_43.wcnf2026-08-06 11:53 812K 
[ ]mincut10_50.wcnf2026-08-06 11:53 812K 
[ ]mincut10_46.wcnf2026-08-06 11:53 812K 
[ ]mincut10_12.wcnf2026-08-06 11:53 812K 
[ ]mincut10_22.wcnf2026-08-06 11:53 812K 
[ ]mincut10_36.wcnf2026-08-06 11:53 812K 
[ ]mincut10_2.wcnf2026-08-06 11:53 812K 
[ ]mincut10_23.wcnf2026-08-06 11:53 812K 
[ ]mincut10_9.wcnf2026-08-06 11:53 812K 
[ ]mincut10_11.wcnf2026-08-06 11:53 812K 
[ ]mincut10_21.wcnf2026-08-06 11:53 812K 
[ ]mincut10_39.wcnf2026-08-06 11:53 812K 
[ ]mincut10_28.wcnf2026-08-06 11:53 812K 
[ ]mincut10_42.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_41.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_31.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_15.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_48.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_19.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_47.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_26.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_29.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_30.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_37.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_4.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_5.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_33.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_35.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_34.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_14.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_40.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_27.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_17.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_6.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_45.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_13.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_16.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_25.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_20.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_32.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_3.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_49.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_24.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_44.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_7.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_10.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_8.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_1.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_18.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_38.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_43.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_50.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_46.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_12.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_22.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_36.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_2.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_23.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_9.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_11.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_21.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_39.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_28.wcsp2026-08-07 09:35 1.1M 
[ ]mincut10_42.lp2026-08-07 11:11 4.0M 
[ ]mincut10_41.lp2026-08-07 11:11 4.0M 
[ ]mincut10_31.lp2026-08-07 11:11 4.0M 
[ ]mincut10_15.lp2026-08-07 11:11 4.0M 
[ ]mincut10_48.lp2026-08-07 11:11 4.0M 
[ ]mincut10_19.lp2026-08-07 11:11 4.0M 
[ ]mincut10_47.lp2026-08-07 11:11 4.0M 
[ ]mincut10_26.lp2026-08-07 11:11 4.0M 
[ ]mincut10_29.lp2026-08-07 11:11 4.0M 
[ ]mincut10_30.lp2026-08-07 11:11 4.0M 
[ ]mincut10_37.lp2026-08-07 11:11 4.0M 
[ ]mincut10_4.lp2026-08-07 11:11 4.0M 
[ ]mincut10_5.lp2026-08-07 11:11 4.0M 
[ ]mincut10_33.lp2026-08-07 11:11 4.0M 
[ ]mincut10_35.lp2026-08-07 11:11 4.0M 
[ ]mincut10_34.lp2026-08-07 11:11 4.0M 
[ ]mincut10_14.lp2026-08-07 11:11 4.0M 
[ ]mincut10_40.lp2026-08-07 11:11 4.0M 
[ ]mincut10_27.lp2026-08-07 11:11 4.0M 
[ ]mincut10_17.lp2026-08-07 11:11 4.0M 
[ ]mincut10_6.lp2026-08-07 11:11 4.0M 
[ ]mincut10_45.lp2026-08-07 11:11 4.0M 
[ ]mincut10_13.lp2026-08-07 11:11 4.0M 
[ ]mincut10_16.lp2026-08-07 11:11 4.0M 
[ ]mincut10_25.lp2026-08-07 11:11 4.0M 
[ ]mincut10_20.lp2026-08-07 11:11 4.0M 
[ ]mincut10_32.lp2026-08-07 11:11 4.0M 
[ ]mincut10_3.lp2026-08-07 11:11 4.0M 
[ ]mincut10_49.lp2026-08-07 11:11 4.0M 
[ ]mincut10_24.lp2026-08-07 11:11 4.0M 
[ ]mincut10_44.lp2026-08-07 11:11 4.0M 
[ ]mincut10_7.lp2026-08-07 11:11 4.0M 
[ ]mincut10_10.lp2026-08-07 11:11 4.0M 
[ ]mincut10_8.lp2026-08-07 11:11 4.0M 
[ ]mincut10_1.lp2026-08-07 11:11 4.0M 
[ ]mincut10_18.lp2026-08-07 11:11 4.0M 
[ ]mincut10_38.lp2026-08-07 11:11 4.0M 
[ ]mincut10_43.lp2026-08-07 11:11 4.0M 
[ ]mincut10_50.lp2026-08-07 11:11 4.0M 
[ ]mincut10_46.lp2026-08-07 11:11 4.0M 
[ ]mincut10_12.lp2026-08-07 11:11 4.0M 
[ ]mincut10_22.lp2026-08-07 11:11 4.0M 
[ ]mincut10_36.lp2026-08-07 11:11 4.0M 
[ ]mincut10_2.lp2026-08-07 11:11 4.0M 
[ ]mincut10_23.lp2026-08-07 11:11 4.0M 
[ ]mincut10_9.lp2026-08-07 11:11 4.0M 
[ ]mincut10_11.lp2026-08-07 11:11 4.0M 
[ ]mincut10_21.lp2026-08-07 11:11 4.0M 
[ ]mincut10_39.lp2026-08-07 11:11 4.0M 
[ ]mincut10_28.lp2026-08-07 11:11 4.0M