-
Notifications
You must be signed in to change notification settings - Fork 1
/
maxsat-instances-unweigthed-evocop2019.txt
160 lines (160 loc) · 5.43 KB
/
maxsat-instances-unweigthed-evocop2019.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
aes-key-recovery-AES1-76-36
aes-key-recovery-AES2-72-67
atcoss-mesat-atcoss_mesat_02
atcoss-mesat-atcoss_mesat_03
atcoss-mesat-atcoss_mesat_04
atcoss-mesat-atcoss_mesat_05
atcoss-mesat-atcoss_mesat_10
atcoss-mesat-atcoss_mesat_15
atcoss-mesat-atcoss_mesat_18
atcoss-sugar-atcoss_sugar_02
atcoss-sugar-atcoss_sugar_03
atcoss-sugar-atcoss_sugar_04
atcoss-sugar-atcoss_sugar_05
atcoss-sugar-atcoss_sugar_10
atcoss-sugar-atcoss_sugar_15
atcoss-sugar-atcoss_sugar_18
bcp-hipp-SU3__simp-genos.haps.21
bcp-hipp-SU3__simp-genos.haps.63
bcp-hipp-SU3__simp-genos.haps.80
bcp-hipp-SU3__simp-genos.haps.9
bcp-msp-normalized-f1000
bcp-msp-normalized-f2000
bcp-msp-normalized-f600
bcp-msp-normalized-g125.17
bcp-msp-normalized-g125.18
bcp-msp-normalized-g250.15
bcp-msp-normalized-g250.29
bcp-msp-normalized-ii16a1
bcp-msp-normalized-ii16c1
bcp-msp-normalized-ii16d1
bcp-msp-normalized-ii32d2
bcp-msp-normalized-par32-1
bcp-msp-normalized-par32-1-c
bcp-msp-normalized-par32-2
bcp-msp-normalized-par32-2-c
bcp-syn-normalized-m200_500_10_10.r
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3
des-cnf.17.p.10
des-cnf.18.p.10
des-cnf.20.p.9
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_1_8_3
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_3
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_4
extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_0_10_3
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_0
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_2_10_2
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_0
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_4
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_4_10_4
gen-hyper-tw-GenHyperTW_2bitcomp_5
gen-hyper-tw-GenHyperTW_aim-50-1_6-no-3
gen-hyper-tw-GenHyperTW_aim-50-2_0-no-3
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3
gen-hyper-tw-GenHyperTW_aim-50-3_4-yes1-3
gen-hyper-tw-GenHyperTW_atv_partial_system
gen-hyper-tw-GenHyperTW_clique_15
gen-hyper-tw-GenHyperTW_dubois20
gen-hyper-tw-GenHyperTW_dubois21
gen-hyper-tw-GenHyperTW_dubois23
gen-hyper-tw-GenHyperTW_dubois25
gen-hyper-tw-GenHyperTW_dubois27
gen-hyper-tw-GenHyperTW_dubois28
gen-hyper-tw-GenHyperTW_dubois29
gen-hyper-tw-GenHyperTW_dubois30
gen-hyper-tw-GenHyperTW_flat30-1
gen-hyper-tw-GenHyperTW_flat30-99
gen-hyper-tw-GenHyperTW_grid3d_5
gen-hyper-tw-GenHyperTW_grid4d_3
gen-hyper-tw-GenHyperTW_hole9
gen-hyper-tw-GenHyperTW_par8-1-c
gen-hyper-tw-GenHyperTW_par8-2-c
gen-hyper-tw-GenHyperTW_par8-3-c
gen-hyper-tw-GenHyperTW_par8-4-c
gen-hyper-tw-GenHyperTW_par8-5-c
gen-hyper-tw-GenHyperTW_pret60_25
gen-hyper-tw-GenHyperTW_pret60_60
gen-hyper-tw-GenHyperTW_s208
gen-hyper-tw-GenHyperTW_uf20-01
gen-hyper-tw-GenHyperTW_uf20-099
haplotype-assembly-splitedReads_0.matrix
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml
maxclique-brock200_1.clq
maxclique-brock400_1.clq
maxclique-brock400_4.clq
maxclique-p_hat1000-2.clq
maxclique-p_hat500-3.clq
maxclique-sanr200_0.9.clq
maxclique-sanr400_0.7.clq
maxcut-brock200_1.clq
maxcut-brock400_2.clq
maxcut-brock400_4.clq
maxcut-brock800_2.clq
maxcut-brock800_3.clq
maxcut-p_hat1000-2.clq
maxcut-p_hat1000-3.clq
maxcut-p_hat500-3.clq
maxcut-p_hat700-2.clq
maxcut-p_hat700-3.clq
maxcut-san400_0.5_1.clq
maxcut-san400_0.7_1.clq
maxcut-san400_0.7_2.clq
maxcut-san400_0.7_3.clq
maxcut-san400_0.9_1.clq
maxcut-sanr200_0.7.clq
maxcut-t5pm3-7777.spn
maxcut-t6pm3-8888.spn
maxcut-t7pm3-9999.spn
mbd-b21_C-mbd14-0218
min-fill-MinFill_R0_miles1500
min-fill-MinFill_R0_mulsol.i.1
min-fill-MinFill_R0_myciel6
min-fill-MinFill_R0_queen11_11
min-fill-MinFill_R0_queen6_6
min-fill-MinFill_R0_queen7_7
min-fill-MinFill_R0_queen8_12
min-fill-MinFill_R0_queen8_8
min-fill-MinFill_R0_queen9_9
min-fill-MinFill_R1_games120
min-fill-MinFill_R3_miles1000
min-fill-MinFill_R3_miles750
min-fill-MinFill_R4_miles500
reversi-rev66-12
reversi-rev66-14
reversi-rev66-16
reversi-rev66-18
reversi-rev66-20
reversi-rev66-22
reversi-rev66-26
reversi-rev66-32
scheduling-cnf_10
scheduling-cnf_12
scheduling-cnf_small
sean-safarpour-rsdecoder-problem.dimacs_38.filtered
sean-safarpour-rsdecoder-problem.dimacs_41.filtered
sean-safarpour-SM_MAIN_MEM_buggy1.dimacs.filtered
sean-safarpour-wb_4m8s4.dimacs.filtered
sean-safarpour-wb_conmax1.dimacs.filtered
set-covering-scpcyc06_maxsat
set-covering-scpcyc07_maxsat
set-covering-scpcyc08_maxsat
set-covering-scpcyc09_maxsat
set-covering-scpcyc10_maxsat
set-covering-scpcyc11_maxsat
treewidth-computation-TWComp_1c75_N69
treewidth-computation-TWComp_1dj7_N73
treewidth-computation-TWComp_1dp_N76
treewidth-computation-TWComp_eil51.tsp_N51
treewidth-computation-TWComp_myciel5_N47
treewidth-computation-TWComp_queen5_5_N25
treewidth-computation-TWComp_queen6_6_N36
treewidth-computation-TWComp_queen7_7_N49