|
Best-Sol |
VBS |
NuWLS-c_band |
LOANDRA |
NuWLS-c-FPS |
tt-open-wbo-inc-Glucose4_1 |
noSAT-MaxSAT |
tt-open-wbo-inc-IntelSATSolver |
NuWLS-c_static |
| Instance |
|
|
|
|
|
|
|
|
|
| MaxSATQueriesinInterpretableClassifiers-twitter_train_2_CNF_4_1.wcnf |
1742 |
1742 |
1846 |
26666 |
1780 |
1823 |
<NA> |
1890 |
1742 |
| MaxSATQueriesinInterpretableClassifiers-twitter_train_9_CNF_1_1.wcnf |
1812 |
1812 |
1893 |
8751 |
1940 |
1910 |
<NA> |
1905 |
1812 |
| MaxSATQueriesinInterpretableClassifiers-wdbc_train_9_CNF_5_1.wcnf |
21 |
21 |
22 |
22 |
21 |
21 |
21 |
21 |
21 |
| SeanSafarpour-rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf |
2 |
3 |
3 |
325 |
38 |
5 |
2738 |
7 |
9 |
| aes-mul_8_11.wcnf |
64 |
64 |
66 |
159 |
69 |
65 |
87 |
65 |
64 |
| aes-mul_8_13.wcnf |
60 |
60 |
60 |
156 |
62 |
64 |
71 |
65 |
60 |
| aes-mul_8_14.wcnf |
56 |
56 |
57 |
110 |
60 |
60 |
64 |
66 |
56 |
| aes-mul_8_3.wcnf |
36 |
36 |
36 |
44 |
36 |
37 |
36 |
37 |
36 |
| aes-mul_8_9.wcnf |
42 |
42 |
42 |
81 |
42 |
45 |
45 |
45 |
42 |
| aes-sbox_8.wcnf |
303 |
303 |
845 |
709 |
845 |
338 |
458 |
348 |
303 |
| atcoss-atcoss_mesat_02.wcnf |
50 |
50 |
60 |
84 |
60 |
60 |
<NA> |
50 |
60 |
| atcoss-atcoss_mesat_15.wcnf |
40 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| atcoss-atcoss_sugar_05.wcnf |
10 |
13 |
13 |
120 |
13 |
13 |
<NA> |
13 |
13 |
| atcoss-atcoss_sugar_15.wcnf |
28 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| bcp-SU3__simp-genos.haps.9.wcnf |
106 |
106 |
106 |
106 |
106 |
106 |
110 |
106 |
106 |
| decision-tree-anneal-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf |
86 |
93 |
94 |
500 |
94 |
94 |
120 |
98 |
93 |
| decision-tree-australian-credit-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf |
58 |
66 |
122 |
316 |
122 |
122 |
73 |
69 |
66 |
| decision-tree-breast-cancer-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf |
4 |
13 |
15 |
141 |
24 |
14 |
59 |
22 |
13 |
| decision-tree-breast-cancer-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf |
19 |
20 |
24 |
22 |
21 |
23 |
59 |
20 |
21 |
| decision-tree-car-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf |
109 |
112 |
112 |
133 |
112 |
112 |
501 |
282 |
112 |
| decision-tree-car-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf |
70 |
78 |
98 |
90 |
110 |
88 |
193 |
78 |
90 |
| decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf |
31 |
33 |
33 |
33 |
39 |
39 |
52 |
38 |
33 |
| decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf |
28 |
34 |
39 |
36 |
34 |
39 |
52 |
45 |
39 |
| decision-tree-hypothyroid-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf |
41 |
44 |
49 |
1450 |
49 |
51 |
267 |
217 |
44 |
| decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf |
145 |
254 |
1125 |
667 |
1125 |
254 |
1329 |
811 |
395 |
| decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf |
164 |
427 |
1232 |
1257 |
1232 |
975 |
862 |
427 |
1222 |
| decision-tree-lymph-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf |
5 |
8 |
12 |
11 |
9 |
8 |
22 |
12 |
9 |
| decision-tree-mushroom-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf |
7 |
7 |
57 |
2441 |
71 |
7 |
<NA> |
41 |
141 |
| decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf |
75 |
92 |
92 |
252 |
217 |
134 |
230 |
147 |
111 |
| extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf |
10 |
13 |
16 |
34 |
15 |
16 |
16 |
14 |
13 |
| fault-diagnosis-s38584_nan_explicit_10_0.wcnf |
209 |
215 |
218 |
215 |
220 |
220 |
<NA> |
220 |
220 |
| fault-diagnosis-s38584_nan_explicit_9_0.wcnf |
208 |
213 |
213 |
213 |
217 |
217 |
<NA> |
213 |
213 |
| gen-hyper-tw-GenHyperTW_2bitcomp_5.wcnf |
18 |
19 |
22 |
68 |
21 |
20 |
<NA> |
32 |
19 |
| gen-hyper-tw-GenHyperTW_aim-50-1_6-no-3.wcnf |
11 |
11 |
11 |
15 |
11 |
12 |
11 |
11 |
11 |
| gen-hyper-tw-GenHyperTW_aim-50-1_6-yes1-3.wcnf |
11 |
11 |
12 |
12 |
11 |
13 |
11 |
12 |
12 |
| gen-hyper-tw-GenHyperTW_b01.wcnf |
5 |
5 |
5 |
5 |
5 |
5 |
6 |
5 |
5 |
| gen-hyper-tw-GenHyperTW_dubois28.wcnf |
2 |
4 |
6 |
36 |
5 |
6 |
6 |
5 |
4 |
| gen-hyper-tw-GenHyperTW_dubois29.wcnf |
2 |
5 |
6 |
40 |
7 |
6 |
5 |
6 |
6 |
| gen-hyper-tw-GenHyperTW_flat30-99.wcnf |
22 |
23 |
23 |
61 |
24 |
26 |
<NA> |
23 |
23 |
| gen-hyper-tw-GenHyperTW_grid4d_3.wcnf |
7 |
7 |
8 |
8 |
7 |
8 |
7 |
7 |
8 |
| gen-hyper-tw-GenHyperTW_par8-1-c.wcnf |
9 |
10 |
16 |
18 |
15 |
13 |
<NA> |
10 |
12 |
| gen-hyper-tw-GenHyperTW_pret60_25.wcnf |
6 |
6 |
8 |
8 |
6 |
7 |
8 |
6 |
6 |
| gen-hyper-tw-GenHyperTW_s208.wcnf |
7 |
9 |
13 |
39 |
11 |
9 |
11 |
9 |
9 |
| gen-hyper-tw-GenHyperTW_uf20-01.wcnf |
6 |
6 |
6 |
7 |
6 |
6 |
6 |
6 |
6 |
| inconsistency-measurement-im-contension-A-2-grd_3908_2_1.tgf.pl.wcnf |
640 |
642 |
642 |
642 |
661 |
663 |
689 |
671 |
660 |
| inconsistency-measurement-im-contension-B-3-stb_696_368.tgf.pl.wcnf |
63 |
64 |
65 |
64 |
67 |
66 |
93 |
65 |
67 |
| inconsistency-measurement-im-contension-C-1-grd_3018_3_7.tgf.pl.wcnf |
500 |
505 |
507 |
505 |
517 |
516 |
533 |
521 |
521 |
| inconsistency-measurement-im-forgetting-A-2-WS_300_16_70_30.tgf.pl.wcnf |
37 |
37 |
37 |
37 |
38 |
38 |
60 |
39 |
37 |
| inconsistency-measurement-im-forgetting-A-2-WS_300_16_90_30.tgf.pl.wcnf |
34 |
35 |
36 |
38 |
37 |
35 |
55 |
35 |
37 |
| inconsistency-measurement-im-forgetting-A-2-grd_3908_2_1.tgf.pl.wcnf |
717 |
724 |
787 |
724 |
788 |
787 |
862 |
796 |
775 |
| inconsistency-measurement-im-forgetting-B-2-stb_625_161.tgf.pl.wcnf |
79 |
80 |
80 |
86 |
82 |
82 |
113 |
87 |
81 |
| inconsistency-measurement-im-forgetting-B-3-WS_300_16_90_30.tgf.pl.wcnf |
42 |
42 |
43 |
44 |
43 |
44 |
68 |
42 |
43 |
| inconsistency-measurement-im-forgetting-B-3-stb_428_430.tgf.pl.wcnf |
51 |
51 |
53 |
53 |
51 |
53 |
83 |
54 |
53 |
| inconsistency-measurement-im-forgetting-B-3-stb_457_193.tgf.pl.wcnf |
57 |
57 |
59 |
59 |
58 |
59 |
91 |
59 |
57 |
| inconsistency-measurement-im-forgetting-C-1-grd_5178_1_1.tgf.pl.wcnf |
1021 |
1053 |
1114 |
1053 |
1107 |
1114 |
1195 |
1077 |
1111 |
| inconsistency-measurement-im-forgetting-T-2-grd_4383_1_10.tgf.pl.wcnf |
740 |
743 |
852 |
743 |
825 |
852 |
917 |
834 |
827 |
| inconsistency-measurement-im-forgetting-T-2-stb_339_81.tgf.pl.wcnf |
48 |
48 |
48 |
48 |
49 |
50 |
68 |
51 |
49 |
| inconsistency-measurement-im-hit-A-1-grd_1790_4_8.tgf.pl.wcnf |
311 |
311 |
317 |
333 |
313 |
323 |
333 |
321 |
311 |
| inconsistency-measurement-im-hit-A-1-grd_2065_1_8.tgf.pl.wcnf |
304 |
304 |
308 |
319 |
304 |
318 |
331 |
317 |
304 |
| inconsistency-measurement-im-hit-A-2-grd_1948_5_1.tgf.pl.wcnf |
344 |
344 |
350 |
357 |
347 |
358 |
361 |
355 |
344 |
| inconsistency-measurement-im-hit-B-1-grd_3018_3_7.tgf.pl.wcnf |
571 |
571 |
580 |
594 |
571 |
592 |
611 |
594 |
571 |
| inconsistency-measurement-im-hit-B-3-stb_390_450.tgf.pl.wcnf |
45 |
45 |
46 |
47 |
45 |
48 |
50 |
48 |
46 |
| inconsistency-measurement-im-hit-C-1-grd_3018_3_7.tgf.pl.wcnf |
533 |
533 |
537 |
555 |
535 |
557 |
568 |
556 |
533 |
| inconsistency-measurement-im-sum-A-2-grd_1948_5_1.tgf.pl.wcnf |
360 |
362 |
388 |
362 |
383 |
389 |
437 |
390 |
385 |
| inconsistency-measurement-im-sum-B-2-stb_330_291.tgf.pl.wcnf |
36 |
36 |
38 |
36 |
38 |
38 |
50 |
38 |
39 |
| inconsistency-measurement-im-sum-B-3-stb_327_100.tgf.pl.wcnf |
39 |
39 |
43 |
43 |
40 |
43 |
58 |
39 |
44 |
| inconsistency-measurement-im-sum-B-3-stb_339_393.tgf.pl.wcnf |
56 |
56 |
60 |
56 |
60 |
59 |
77 |
63 |
59 |
| inconsistency-measurement-im-sum-B-3-stb_696_368.tgf.pl.wcnf |
84 |
84 |
98 |
84 |
85 |
99 |
138 |
107 |
91 |
| inconsistency-measurement-im-sum-C-1-grd_1222_5_4.tgf.pl.wcnf |
218 |
218 |
231 |
218 |
230 |
237 |
253 |
232 |
230 |
| judgment-aggregation-ja-maxham-preflib-00049-00000071.wcnf |
45 |
45 |
45 |
46 |
46 |
46 |
45 |
45 |
46 |
| judgment-aggregation-ja-maxham-preflib-00049-00000157.wcnf |
51 |
51 |
52 |
51 |
52 |
52 |
52 |
52 |
52 |
| judgment-aggregation-ja-maxham-preflib-00049-00000253.wcnf |
46 |
46 |
46 |
48 |
46 |
46 |
46 |
46 |
46 |
| judgment-aggregation-ja-maxham-preflib-00049-00000260.wcnf |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
| judgment-aggregation-ja-maxham-preflib-00049-00000293.wcnf |
43 |
43 |
43 |
44 |
44 |
43 |
43 |
44 |
43 |
| judgment-aggregation-ja-maxham-preflib-00049-00000295.wcnf |
53 |
54 |
54 |
54 |
54 |
54 |
54 |
54 |
54 |
| judgment-aggregation-ja-maxham-preflib-00049-00000316.wcnf |
51 |
51 |
52 |
52 |
51 |
52 |
51 |
52 |
52 |
| judgment-aggregation-ja-maxham-preflib-00049-00000333.wcnf |
51 |
51 |
51 |
51 |
51 |
51 |
51 |
53 |
51 |
| judgment-aggregation-ja-maxham-preflib-00049-00000338.wcnf |
52 |
52 |
52 |
53 |
54 |
53 |
53 |
53 |
54 |
| judgment-aggregation-ja-maxham-preflib-00049-00000385.wcnf |
37 |
37 |
37 |
37 |
37 |
37 |
37 |
37 |
37 |
| judgment-aggregation-ja-maxham-preflib-00049-00000390.wcnf |
52 |
53 |
53 |
53 |
53 |
53 |
53 |
53 |
53 |
| judgment-aggregation-ja-maxham-preflib-00049-00000444.wcnf |
52 |
53 |
54 |
54 |
53 |
53 |
54 |
53 |
53 |
| judgment-aggregation-ja-maxham-preflib-00049-00000486.wcnf |
54 |
54 |
56 |
55 |
57 |
55 |
54 |
56 |
54 |
| judgment-aggregation-ja-maxham-preflib-00049-00000492.wcnf |
47 |
47 |
47 |
48 |
47 |
47 |
47 |
47 |
47 |
| judgment-aggregation-ja-maxham-preflib-00049-00000512.wcnf |
54 |
55 |
55 |
56 |
55 |
55 |
56 |
56 |
56 |
| judgment-aggregation-ja-maxham-preflib-00049-00000517.wcnf |
55 |
55 |
57 |
55 |
56 |
57 |
57 |
58 |
56 |
| judgment-aggregation-ja-maxham-preflib-00049-00000540.wcnf |
49 |
49 |
49 |
49 |
49 |
49 |
50 |
50 |
49 |
| judgment-aggregation-ja-slater-preflib-00043-00000180.wcnf |
306 |
306 |
309 |
329 |
308 |
309 |
322 |
308 |
306 |
| judgment-aggregation-ja-slater-preflib-00049-00000135.wcnf |
246 |
246 |
249 |
277 |
251 |
246 |
257 |
246 |
246 |
| judgment-aggregation-ja-slater-preflib-00049-00000405.wcnf |
278 |
278 |
283 |
279 |
280 |
278 |
285 |
287 |
278 |
| judgment-aggregation-ja-slater-preflib-00049-00000451.wcnf |
505 |
505 |
508 |
561 |
507 |
507 |
521 |
509 |
505 |
| judgment-aggregation-ja-slater-preflib-00049-00000468.wcnf |
269 |
269 |
271 |
298 |
273 |
269 |
275 |
272 |
269 |
| judgment-aggregation-ja-slater-preflib-00051-00000008.wcnf |
341 |
341 |
348 |
368 |
341 |
341 |
359 |
341 |
341 |
| judgment-aggregation-ja-slater-preflib-00051-00000011.wcnf |
501 |
501 |
505 |
561 |
510 |
506 |
516 |
507 |
501 |
| logic-synthesis-normalized-test4.pi.opb.msat.wcnf |
94 |
97 |
97 |
144 |
99 |
110 |
107 |
112 |
98 |
| mbd-b14_C-mbd14-0277.wcnf |
24 |
24 |
25 |
24 |
25 |
25 |
54 |
24 |
25 |
| min-fill-MinFill_R0_mulsol.i.1.wcnf |
142 |
142 |
148 |
142 |
146 |
158 |
188 |
149 |
142 |
| min-fill-MinFill_R0_mulsol.i.2.wcnf |
240 |
242 |
545 |
242 |
296 |
485 |
414 |
459 |
343 |
| min-fill-MinFill_R0_mulsol.i.3.wcnf |
240 |
254 |
597 |
254 |
933 |
541 |
327 |
457 |
299 |
| min-fill-MinFill_R0_myciel5.wcnf |
196 |
196 |
196 |
196 |
207 |
205 |
205 |
196 |
197 |
| min-fill-MinFill_R0_myciel7.wcnf |
3137 |
3357 |
3566 |
5645 |
3363 |
3357 |
3891 |
3393 |
3978 |
| min-fill-MinFill_R0_queen8_12.wcnf |
2387 |
2465 |
2571 |
2502 |
2515 |
2549 |
2526 |
2465 |
2491 |
| min-fill-MinFill_R1_games120.wcnf |
1670 |
1765 |
1955 |
3217 |
2014 |
1915 |
1765 |
1927 |
1788 |
| min-fill-MinFill_R3_miles1000.wcnf |
624 |
738 |
887 |
4089 |
1210 |
936 |
1766 |
913 |
738 |
| min-fill-MinFill_R3_miles750.wcnf |
482 |
496 |
686 |
496 |
932 |
1160 |
1708 |
1043 |
1001 |
| min-fill-MinFill_R4_miles500.wcnf |
379 |
383 |
450 |
383 |
500 |
450 |
792 |
655 |
512 |
| optic-gen_cvc-add7to3_9999.wcnf |
191 |
191 |
193 |
202 |
191 |
200 |
198 |
199 |
194 |
| optic-gen_mult_4_5_991.wcnf |
117 |
117 |
118 |
145 |
117 |
127 |
124 |
125 |
117 |
| optic-gen_mult_5_5_991.wcnf |
230 |
230 |
233 |
278 |
233 |
248 |
245 |
244 |
230 |
| optimizing-BDDs-anneal-un-wcnf_incomplete_improved_1_2019_5.wcnf |
121 |
125 |
131 |
125 |
147 |
135 |
<NA> |
129 |
137 |
| optimizing-BDDs-australian-credit-un-wcnf_incomplete_improved_1_2019_2.wcnf |
87 |
87 |
87 |
87 |
87 |
87 |
<NA> |
87 |
87 |
| optimizing-BDDs-australian-credit-un-wcnf_incomplete_improved_1_2019_5.wcnf |
73 |
76 |
76 |
82 |
87 |
80 |
<NA> |
83 |
87 |
| optimizing-BDDs-breast-cancer-un-wcnf_incomplete_improved_1_2019_7.wcnf |
21 |
22 |
25 |
25 |
29 |
22 |
<NA> |
22 |
39 |
| optimizing-BDDs-car-un-wcnf_incomplete_improved_1_2019_7.wcnf |
90 |
106 |
124 |
185 |
142 |
140 |
106 |
130 |
176 |
| optimizing-BDDs-heart-cleveland-un-wcnf_incomplete_improved_1_2019_9.wcnf |
11 |
18 |
27 |
19 |
35 |
18 |
<NA> |
20 |
20 |
| optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_3.wcnf |
62 |
62 |
62 |
62 |
70 |
70 |
<NA> |
62 |
62 |
| optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_5.wcnf |
56 |
62 |
62 |
277 |
62 |
64 |
<NA> |
69 |
64 |
| optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_7.wcnf |
54 |
56 |
56 |
392 |
76 |
62 |
<NA> |
60 |
64 |
| optimizing-BDDs-kr-vs-kp-un-wcnf_incomplete_improved_1_2019_4.wcnf |
189 |
189 |
486 |
661 |
301 |
383 |
<NA> |
306 |
189 |
| optimizing-BDDs-kr-vs-kp-un-wcnf_incomplete_improved_1_2019_8.wcnf |
158 |
158 |
474 |
520 |
474 |
292 |
<NA> |
1093 |
158 |
| optimizing-BDDs-lymph-un-wcnf_incomplete_improved_1_2019_7.wcnf |
4 |
4 |
4 |
5 |
5 |
5 |
<NA> |
4 |
4 |
| optimizing-BDDs-mushroom-un-wcnf_incomplete_improved_1_2019_4.wcnf |
112 |
432 |
432 |
2980 |
432 |
570 |
<NA> |
1492 |
576 |
| optimizing-BDDs-mushroom-un-wcnf_incomplete_improved_1_2019_5.wcnf |
108 |
108 |
108 |
2016 |
108 |
448 |
<NA> |
860 |
108 |
| optimizing-BDDs-primary-tumor-un-wcnf_incomplete_improved_1_2019_9.wcnf |
27 |
30 |
30 |
33 |
34 |
30 |
33 |
35 |
32 |
| optimizing-BDDs-soybean-un-wcnf_incomplete_improved_1_2019_6.wcnf |
23 |
23 |
37 |
23 |
47 |
42 |
<NA> |
41 |
40 |
| optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_4.wcnf |
333 |
862 |
1534 |
1530 |
1534 |
1520 |
<NA> |
1287 |
862 |
| optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_5.wcnf |
360 |
574 |
1134 |
1366 |
1134 |
1310 |
<NA> |
1464 |
574 |
| optimizing-BDDs-tic-tac-toe-un-wcnf_incomplete_improved_1_2019_6.wcnf |
165 |
179 |
179 |
204 |
438 |
197 |
<NA> |
189 |
229 |
| optimizing-BDDs-vote-un-wcnf_incomplete_improved_1_2019_7.wcnf |
4 |
4 |
4 |
4 |
4 |
4 |
<NA> |
4 |
4 |
| optimizing-BDDs-vote-un-wcnf_incomplete_improved_1_2019_8.wcnf |
2 |
2 |
3 |
3 |
3 |
4 |
<NA> |
2 |
4 |
| planning-bnn-cellda_x_10.wcnf |
9 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-cellda_x_12.wcnf |
9 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-cellda_y_10.wcnf |
6 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-cellda_y_9.wcnf |
6 |
8 |
8 |
<NA> |
8 |
8 |
<NA> |
<NA> |
8 |
| planning-bnn-navigation_4x4_7.wcnf |
5 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-navigation_5x5_10.wcnf |
8 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-navigation_5x5_8.wcnf |
8 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-navigation_5x5_9.wcnf |
8 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| planning-bnn-sysadmin_4_3.wcnf |
2 |
4 |
4 |
5 |
4 |
4 |
<NA> |
6 |
4 |
| planning-bnn-sysadmin_5_3.wcnf |
3 |
6 |
9 |
<NA> |
9 |
9 |
<NA> |
6 |
9 |
| planning-bnn-sysadmin_5_4.wcnf |
7 |
10 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
10 |
<NA> |
| program-disambiguation-Q22_YESNO_1.wcnf |
6 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| program-disambiguation-Q42_OPTIONS_1.wcnf |
4 |
4 |
13 |
4 |
13 |
13 |
<NA> |
4 |
13 |
| program-disambiguation-Q45_YESNO_1.wcnf |
2 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| program-disambiguation-Q55_YESNO_1.wcnf |
2 |
2 |
2 |
<NA> |
2 |
2 |
<NA> |
2 |
2 |
| pseudoBoolean-normalized-par32-3.opb.msat.wcnf |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| pseudoBoolean-normalized-par32-5.opb.msat.wcnf |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| railway-transport-d4.wcnf |
2027 |
2027 |
3684 |
10214 |
3333 |
3284 |
7365 |
3039 |
2027 |
| railway-transport-pesp_18Min.wcnf |
278 |
302 |
360 |
457 |
370 |
442 |
656 |
333 |
302 |
| railway-transport-pesp_5min.wcnf |
68 |
69 |
73 |
72 |
74 |
77 |
101 |
84 |
69 |
| railway-transport-we.wcnf |
252 |
3624 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
3624 |
<NA> |
| ramsey-ram_k3_n11.ra0.wcnf |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
| ramsey-ram_k3_n14.ra0.wcnf |
21 |
21 |
21 |
21 |
21 |
21 |
21 |
21 |
21 |
| ramsey-ram_k3_n15.ra0.wcnf |
30 |
30 |
30 |
30 |
30 |
30 |
30 |
30 |
30 |
| ramsey-ram_k3_n17.ra0.wcnf |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
50 |
| ramsey-ram_k4_n18.ra0.wcnf |
9 |
9 |
9 |
11 |
9 |
9 |
9 |
9 |
9 |
| ramsey-ram_k4_n20.ra0.wcnf |
24 |
24 |
24 |
34 |
24 |
24 |
24 |
24 |
24 |
| reversi-rev66-16.wcnf |
17 |
17 |
17 |
17 |
17 |
17 |
<NA> |
17 |
17 |
| reversi-rev66-26.wcnf |
7 |
7 |
7 |
9 |
7 |
7 |
<NA> |
11 |
7 |
| reversi-rev66-28.wcnf |
5 |
5 |
5 |
5 |
5 |
5 |
<NA> |
10 |
5 |
| reversi-rev66-32.wcnf |
1 |
1 |
1 |
2 |
1 |
1 |
<NA> |
1 |
1 |
| scheduling-cnf_10.wcnf |
50 |
52 |
56 |
521 |
55 |
52 |
<NA> |
55 |
54 |
| scheduling-cnf_12.wcnf |
61 |
61 |
68 |
414 |
63 |
66 |
<NA> |
74 |
61 |
| scheduling-cnf_small.wcnf |
28 |
28 |
30 |
28 |
28 |
32 |
37 |
31 |
28 |
| setcover-sts-data.135.wcnf |
103 |
103 |
103 |
104 |
103 |
104 |
103 |
103 |
103 |
| setcover-sts-data.243.wcnf |
198 |
198 |
198 |
203 |
198 |
198 |
198 |
198 |
198 |
| setcover-sts-data.405.wcnf |
336 |
336 |
336 |
346 |
336 |
336 |
341 |
336 |
336 |
| setcover-sts-data.729.wcnf |
617 |
617 |
637 |
649 |
617 |
633 |
639 |
633 |
633 |
| tpr-b18-s_PathRelaxation_Set_FS_8.wcnf |
145 |
145 |
147 |
145 |
147 |
147 |
<NA> |
151 |
145 |
| treewidth-computation-TWComp_1c75_N69.wcnf |
29 |
29 |
29 |
29 |
30 |
29 |
36 |
29 |
29 |
| treewidth-computation-TWComp_1dj7_N73.wcnf |
26 |
26 |
26 |
26 |
26 |
26 |
30 |
26 |
26 |
| treewidth-computation-TWComp_eil51.tsp_N51.wcnf |
8 |
8 |
9 |
8 |
9 |
9 |
9 |
9 |
9 |
| treewidth-computation-TWComp_queen7_7_N49.wcnf |
35 |
35 |
35 |
35 |
35 |
35 |
35 |
37 |
35 |
| xai-mindset2-bnn-last-layer-f10.wcnf |
1120 |
1122 |
1124 |
1172 |
1124 |
1122 |
<NA> |
1130 |
1124 |
| xai-mindset2-bupa.wcnf |
294 |
318 |
321 |
318 |
321 |
337 |
405 |
359 |
347 |
| xai-mindset2-cleve.wcnf |
203 |
205 |
228 |
205 |
249 |
234 |
270 |
231 |
242 |
| xai-mindset2-heart-h.wcnf |
172 |
192 |
225 |
210 |
195 |
199 |
225 |
235 |
192 |
| xai-mindset2-postoperative-patient-data.wcnf |
62 |
62 |
62 |
63 |
63 |
62 |
<NA> |
65 |
62 |
| xai-mindset2-shuttleM.wcnf |
127 |
189 |
630 |
619 |
630 |
275 |
<NA> |
299 |
189 |
| xai-mindset2-soybean.wcnf |
190 |
257 |
258 |
490 |
257 |
259 |
<NA> |
286 |
257 |