|
Best-Sol |
VBS |
Exact_mse_result |
Loandra_mse_result |
NuWLS_c_IBR_mse_result |
SPB_MaxSAT_c_Band_mse_result |
SPB_MaxSAT_c_FPS_mse_result |
SPB_MaxSAT_c_mse_result |
noSAT_MaxSAT_c_mse_result |
noSAT_MaxSAT_mse_result |
tt_open_wbo_inc_glucose_mse_result |
tt_open_wbo_inc_intelsat_mse_result |
| Instance |
|
|
|
|
|
|
|
|
|
|
|
|
| decision-tree-primary-tumor-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.xz |
174 |
200 |
218 |
200 |
253 |
249 |
259 |
248 |
254 |
255 |
235 |
248 |
| ramsey_wt-ram_k3_n12.ra1.wcnf.xz |
524 |
524 |
776 |
524 |
524 |
524 |
524 |
524 |
524 |
524 |
524 |
524 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_68.wcnf.xz |
9 |
22 |
73 |
181 |
26 |
26 |
22 |
28 |
193 |
<NA> |
24 |
24 |
| MinimumWeightDominatingSetProblem_wt-sc-rel9.wcnf.xz |
11193466 |
11641093 |
21809496 |
16746750 |
11886199 |
11662889 |
11657938 |
11641093 |
13087328 |
<NA> |
11905191 |
11969385 |
| max-realizability_wt-power-distribution_11_7.wcnf.xz |
126 |
126 |
126 |
130 |
126 |
126 |
126 |
126 |
126 |
130 |
126 |
126 |
| pseudoBoolean_wt-normalized-mps-v2-20-10-mod010.opb.msat.wcnf.xz |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| MinimumWeightDominatingSetProblem_wt-rgg_n_2_24_s0.wcnf.xz |
33573460 |
1523326098 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
1523326098 |
<NA> |
<NA> |
<NA> |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_BINARY_N400.wcnf.xz |
33004266 |
33439514 |
286985703 |
33439514 |
33597992 |
33843601 |
33745770 |
33671332 |
33833529 |
33733008 |
33649127 |
34257486 |
| lisbon-wedding_wt-lisbon-wedding-5-19.wcnf.xz |
805 |
805 |
805 |
1030 |
805 |
805 |
805 |
905 |
1127 |
919 |
805 |
858 |
| af-synthesis_wt-af-synthesis_stb_50_40_6.wcnf.xz |
115 |
115 |
120 |
115 |
115 |
115 |
115 |
115 |
115 |
117 |
115 |
115 |
| MinimumWeightDominatingSetProblem_wt-delaunay_n24.wcnf.xz |
205096864 |
1276993921 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
1276993921 |
<NA> |
<NA> |
<NA> |
| planning-bnn-inventory_4_8.wcnf.xz |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
22 |
<NA> |
17 |
17 |
| max-realizability_wt-power-distribution_12_7.wcnf.xz |
216 |
216 |
216 |
224 |
216 |
216 |
216 |
216 |
224 |
225 |
216 |
216 |
| BTBNSL_wt-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf.xz |
50007681202 |
50098930145 |
56220550507 |
50923045102 |
50224660217 |
50510416144 |
50098930145 |
50303991361 |
56277507729 |
55893884625 |
50285222580 |
50267064420 |
| decision-tree-primary-tumor-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.xz |
124 |
125 |
130 |
125 |
170 |
169 |
161 |
167 |
169 |
169 |
169 |
168 |
| BTBNSL_wt-Rounded_BTWBNSL_Wine_TWBound_3.wcnf.xz |
127107900 |
127107905 |
127107905 |
127167431 |
129169423 |
128338278 |
131150737 |
131471394 |
138600487 |
136616425 |
129302170 |
129649318 |
| relational-inference_wt-pa-1.wcnf.xz |
820 |
848 |
925089 |
848 |
3448 |
3542 |
3542 |
3542 |
9756 |
8551 |
3482 |
2855 |
| setcover_wt-rail516.wcnf.xz |
182 |
182 |
264 |
255 |
182 |
182 |
184 |
183 |
188 |
187 |
186 |
185 |
| synplicate_new-synplicate_synthetic_dag_run2_13_size_11_ms_26_50_0_erm.wcnf.xz |
567 |
930 |
1119 |
1199 |
930 |
930 |
930 |
930 |
1149 |
<NA> |
980 |
971 |
| af-synthesis_wt-af-synthesis_stb_50_40_0.wcnf.xz |
111 |
111 |
113 |
111 |
111 |
111 |
111 |
111 |
112 |
111 |
111 |
111 |
| quantum-circuit-qgan_6_15_ibmq-casablanca_7.wcnf.xz |
24 |
24 |
24 |
24 |
24 |
24 |
24 |
24 |
897 |
114 |
24 |
24 |
| lisbon-wedding_wt-lisbon-wedding-3-18.wcnf.xz |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| causal-discovery_wt-causal_Bands_6_277.wcnf.xz |
91349 |
91349 |
116542 |
91349 |
124273 |
124273 |
91349 |
117306 |
106854 |
110762 |
96153 |
91349 |
| protein_ins_wt-sandiaprotein.g.wcnf.t.wcnf.xz |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
2248 |
| timetabling_wt-comp10.wcnf.xz |
4 |
4 |
292 |
4 |
87 |
4 |
4 |
4 |
109 |
129 |
77 |
24 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf.xz |
15658391 |
15658391 |
145346392 |
16469073 |
17431636 |
16301240 |
16680408 |
16415539 |
16884321 |
17176051 |
15658391 |
16817438 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000454.wcnf.xz |
631 |
631 |
1198 |
647 |
631 |
631 |
631 |
631 |
631 |
631 |
631 |
631 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_80.wcnf.xz |
12 |
20 |
75 |
62 |
30 |
34 |
24 |
26 |
306 |
<NA> |
20 |
32 |
| synplicate_new-synplicate_synthetic_dag_run2_10_size_11_ms_26_50_0_erm.wcnf.xz |
518 |
866 |
1555 |
1009 |
999 |
866 |
1003 |
949 |
1551 |
<NA> |
938 |
947 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000300.wcnf.xz |
776 |
776 |
996 |
781 |
776 |
776 |
776 |
776 |
776 |
776 |
776 |
776 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.xz |
7176694 |
7184642 |
30564174 |
7184642 |
7671678 |
7211620 |
7649084 |
7493098 |
7382862 |
7579712 |
7618012 |
7660616 |
| BTBNSL_wt-Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf.xz |
274907339 |
274907339 |
275815421 |
274907339 |
277221178 |
276921071 |
276351886 |
276651283 |
289109743 |
290056756 |
276445351 |
276141412 |
| lisbon-wedding_wt-lisbon-wedding-1-19.wcnf.xz |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| synplicate_new-synplicate_synthetic_dag_run2_11_size_10_ms_26_50_0_erm.wcnf.xz |
400 |
826 |
1356 |
1215 |
1066 |
878 |
971 |
909 |
1104 |
1144 |
954 |
826 |
| lisbon-wedding_wt-lisbon-wedding-8-17.wcnf.xz |
395 |
395 |
397 |
395 |
395 |
395 |
395 |
396 |
454 |
442 |
395 |
395 |
| setcover_wt-rail2536.wcnf.xz |
724 |
724 |
<NA> |
1292 |
724 |
738 |
747 |
751 |
<NA> |
<NA> |
737 |
737 |
| ramsey_wt-ram_k3_n11.ra1.wcnf.xz |
318 |
318 |
318 |
334 |
318 |
318 |
318 |
318 |
318 |
318 |
318 |
318 |
| planning-bnn-inventory_4_7.wcnf.xz |
15 |
15 |
15 |
15 |
15 |
15 |
15 |
15 |
15 |
<NA> |
15 |
15 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.7_7.wcnf.xz |
160970 |
161090 |
614923 |
163880 |
161162 |
165333 |
168438 |
161702 |
161450 |
161267 |
161090 |
162161 |
| lisbon-wedding_wt-lisbon-wedding-7-18.wcnf.xz |
420 |
420 |
426 |
420 |
420 |
420 |
420 |
420 |
513 |
583 |
420 |
427 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_TRANSITIVE_N270.wcnf.xz |
15714757 |
15714757 |
15714757 |
15716551 |
15716551 |
15716551 |
15716551 |
15716890 |
15716890 |
15716551 |
15716551 |
15716551 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.8_6.wcnf.xz |
267394 |
267394 |
629473 |
267739 |
267946 |
268015 |
268429 |
268153 |
267394 |
267463 |
268153 |
268153 |
| frb_wt-frb40-19-3.wcnf.xz |
720 |
720 |
729 |
721 |
721 |
720 |
722 |
722 |
721 |
720 |
721 |
722 |
| tcp_wt-tcp_students_91_it_13.wcnf.xz |
2730 |
2730 |
2730 |
2802 |
2730 |
2730 |
2730 |
2730 |
2730 |
2730 |
2730 |
2730 |
| mpe_wt-random-net-60-3_network-7.net.wcnf.xz |
51691 |
51691 |
66026 |
56974 |
51924 |
51691 |
51787 |
51691 |
51942 |
51911 |
52096 |
51720 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.1_1.wcnf.xz |
38388 |
38388 |
45892 |
152963 |
40568 |
38510 |
39556 |
38388 |
40974 |
39780 |
41212 |
41269 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_100.wcnf.xz |
20 |
26 |
237 |
35 |
32 |
26 |
36 |
30 |
392 |
<NA> |
36 |
32 |
| af-synthesis_wt-af-synthesis_stb_50_20_4.wcnf.xz |
117 |
117 |
120 |
117 |
117 |
117 |
117 |
117 |
117 |
117 |
117 |
117 |
| synplicate_new-synplicate_complete_tree_arity2_feature_4_size_6_ms_0_25_0_erm.wcnf.xz |
336 |
336 |
336 |
336 |
336 |
336 |
336 |
336 |
452 |
457 |
336 |
336 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000468.wcnf.xz |
548 |
548 |
1830 |
561 |
548 |
548 |
548 |
548 |
548 |
548 |
548 |
548 |
| quantum-circuit-grover-noancilla_4_52_ibmq-casablanca_7.wcnf.xz |
27 |
27 |
138 |
27 |
27 |
42 |
27 |
27 |
1881 |
<NA> |
42 |
27 |
| lisbon-wedding_wt-lisbon-wedding-9-18.wcnf.xz |
395 |
395 |
419 |
395 |
395 |
395 |
395 |
395 |
433 |
433 |
395 |
395 |
| decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_5.wcnf.xz |
122 |
152 |
163 |
152 |
186 |
193 |
162 |
179 |
223 |
222 |
169 |
153 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_66.wcnf.xz |
4 |
4 |
53 |
60 |
18 |
14 |
14 |
4 |
228 |
<NA> |
10 |
14 |
| lisbon-wedding_wt-lisbon-wedding-10-18.wcnf.xz |
378 |
378 |
401 |
378 |
378 |
378 |
378 |
378 |
424 |
447 |
378 |
378 |
| setcover_wt-rail582.wcnf.xz |
213 |
213 |
343 |
370 |
213 |
215 |
216 |
217 |
219 |
221 |
221 |
219 |
| causal-discovery_wt-causal_hailfinder_7_100.wcnf.xz |
2036684 |
2036684 |
5404244 |
2036684 |
2036684 |
2036684 |
2436438 |
2036684 |
2036684 |
2036684 |
2418625 |
2527962 |
| synplicate_new-synplicate_complete_tree_arity2_feature_4_size_11_ms_0_25_0_erm.wcnf.xz |
224 |
224 |
224 |
224 |
224 |
224 |
224 |
224 |
644 |
698 |
224 |
224 |
| spot5_wt-1407.wcsp.log.wcnf.xz |
459571 |
459571 |
498694 |
459628 |
459573 |
459572 |
459581 |
459576 |
459573 |
459574 |
459574 |
459571 |
| abstraction-refinement_wt-polysite-bloat.wcnf.xz |
39 |
54 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
4948 |
3311470 |
<NA> |
54 |
| MinimumWeightDominatingSetProblem_wt-channel-500x100x100-b050.wcnf.xz |
26428471 |
26968618 |
49455343 |
44165514 |
27233238 |
26974606 |
26968618 |
26975810 |
30872804 |
<NA> |
27598296 |
27251817 |
| haplotyping-pedigrees_wt-ped2.G.recomb10-0.20-13.wcnf.xz |
40755 |
40755 |
40877 |
40755 |
40757 |
40755 |
40755 |
40756 |
40962 |
41031 |
40758 |
40755 |
| spot5_wt-1405.wcsp.dir.wcnf.xz |
459420 |
459420 |
531474 |
461437 |
459423 |
459421 |
459427 |
459421 |
459420 |
459422 |
459420 |
459424 |
| synplicate_new-synplicate_synthetic_dag_run2_12_size_8_ms_26_50_0_erm.wcnf.xz |
413 |
603 |
1088 |
1101 |
621 |
621 |
603 |
621 |
1036 |
<NA> |
612 |
745 |
| synplicate_new-synplicate_synthetic_dag_run2_16_size_9_ms_26_50_0_erm.wcnf.xz |
398 |
588 |
1074 |
1054 |
849 |
588 |
774 |
758 |
1135 |
910 |
781 |
716 |
| CSG_wt-CSG140-140-6.wcnf.xz |
52385 |
52385 |
52385 |
52385 |
52385 |
52385 |
52385 |
52385 |
53143 |
53968 |
52385 |
52385 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_200.wcnf.xz |
107 |
108 |
244 |
191 |
110 |
122 |
112 |
108 |
602 |
<NA> |
135 |
136 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.7_0.wcnf.xz |
169656 |
169656 |
500543 |
232026 |
170094 |
170301 |
170148 |
170262 |
169854 |
169848 |
169791 |
169656 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000287.wcnf.xz |
782 |
782 |
3451 |
794 |
782 |
782 |
782 |
782 |
782 |
782 |
782 |
782 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.3_9.wcnf.xz |
92485 |
93192 |
97760 |
219589 |
94819 |
93192 |
99946 |
96661 |
96441 |
95704 |
94134 |
93976 |
| timetabling_wt-comp07.lp.sm-extracted.wcnf.xz |
3 |
137 |
4722 |
343 |
139 |
144 |
137 |
197 |
<NA> |
185 |
154 |
158 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000377.wcnf.xz |
647 |
647 |
860 |
653 |
647 |
647 |
647 |
647 |
647 |
647 |
647 |
647 |
| protein_ins_wt-1knt_.5pti_.g.wcnf.t.wcnf.xz |
2208 |
2208 |
2216 |
2208 |
2208 |
2208 |
2208 |
2208 |
2208 |
2208 |
2208 |
2208 |
| decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_5.wcnf.xz |
259 |
268 |
1064 |
693 |
444 |
291 |
268 |
368 |
637 |
642 |
488 |
356 |
| CSG_wt-CSGNaive140-140-6.wcnf.xz |
56309 |
56309 |
57138 |
56309 |
56309 |
56309 |
56309 |
56309 |
56309 |
57138 |
56309 |
56309 |
| BTBNSL_wt-Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_3.wcnf.xz |
1326413815 |
1328713136 |
1329950894 |
1330375170 |
1329033479 |
1328713136 |
1329043664 |
1329043665 |
1369575100 |
1362594440 |
1329013179 |
1329033479 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000614.wcnf.xz |
792 |
792 |
926 |
794 |
792 |
792 |
792 |
792 |
792 |
792 |
792 |
792 |
| synplicate_new-synplicate_complete_tree_arity3_feature_3_size_10_ms_0_25_0_erm.wcnf.xz |
182 |
182 |
188 |
221 |
198 |
199 |
197 |
182 |
626 |
614 |
182 |
182 |
| decision-tree-australian-credit-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_5.wcnf.xz |
390 |
495 |
597 |
495 |
649 |
610 |
603 |
626 |
627 |
649 |
586 |
495 |
| lisbon-wedding_wt-lisbon-wedding-10-17.wcnf.xz |
377 |
377 |
390 |
377 |
377 |
377 |
377 |
377 |
440 |
407 |
377 |
377 |
| abstraction-refinement_wt-polysite-hsqldb.wcnf.xz |
172382 |
172390 |
<NA> |
174534 |
172392 |
172392 |
172390 |
172395 |
172947 |
<NA> |
172398 |
172408 |
| lisbon-wedding_wt-lisbon-wedding-4-17.wcnf.xz |
803 |
803 |
803 |
803 |
803 |
803 |
803 |
803 |
1457 |
<NA> |
803 |
803 |
| protein_ins_wt-1knt_.1bpi_.g.wcnf.t.wcnf.xz |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
2464 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000353.wcnf.xz |
554 |
554 |
640 |
560 |
554 |
554 |
554 |
554 |
554 |
554 |
554 |
554 |
| af-synthesis_wt-af-synthesis_stb_50_200_5.wcnf.xz |
102 |
102 |
116 |
102 |
104 |
104 |
102 |
102 |
106 |
102 |
104 |
102 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_BINARY_N320.wcnf.xz |
19715422 |
19715422 |
194149175 |
19715422 |
19917439 |
20006117 |
19935048 |
20016493 |
19935048 |
20130686 |
20010236 |
20312912 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein3_TRANSITIVE_N220.wcnf.xz |
13890288 |
13890288 |
116531574 |
13895402 |
13890288 |
13890288 |
13890288 |
13890288 |
13890288 |
13890288 |
13890288 |
13890288 |
| MaxSATQueriesinInterpretableClassifiers_wt-compas_train_2_CNF_3_15.wcnf.xz |
31514 |
31515 |
43369 |
31545 |
31515 |
31589 |
31575 |
31589 |
31544 |
31531 |
31515 |
31544 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.8_2.wcnf.xz |
296197 |
296959 |
662920 |
298229 |
297948 |
297694 |
297948 |
297467 |
296959 |
297159 |
297694 |
297213 |
| timetabling_wt-comp09.wcnf.xz |
96 |
96 |
1012 |
96 |
110 |
110 |
104 |
104 |
137 |
131 |
104 |
106 |
| judgment-aggregation-ja-kemeny-preflib-00051-00000009.wcnf.xz |
633 |
633 |
2215 |
637 |
633 |
633 |
633 |
633 |
634 |
633 |
633 |
633 |
| tcp_wt-tcp_students_112_it_5.wcnf.xz |
3366 |
3366 |
3366 |
3366 |
3366 |
3366 |
3366 |
3366 |
3366 |
3402 |
3366 |
3366 |
| abstraction-refinement_wt-downcast-hsqldb.wcnf.xz |
30207 |
30246 |
<NA> |
30292 |
30246 |
30248 |
30259 |
30256 |
30359 |
<NA> |
30254 |
30253 |
| abstraction-refinement_wt-polysite-xalan.wcnf.xz |
114620 |
114665 |
<NA> |
114743 |
114665 |
114672 |
114677 |
114668 |
114916 |
115057 |
114677 |
114866 |
| abstraction-refinement_wt-polysite-pmd.wcnf.xz |
188398 |
188402 |
<NA> |
188509 |
188407 |
188411 |
188402 |
188409 |
188524 |
188607 |
188412 |
188414 |
| decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_2.wcnf.xz |
177 |
177 |
335 |
222 |
184 |
214 |
177 |
179 |
286 |
286 |
216 |
219 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein3_TRANSITIVE_N200.wcnf.xz |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
12826525 |
| decision-tree-primary-tumor-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_4.wcnf.xz |
77 |
110 |
150 |
110 |
136 |
153 |
218 |
206 |
212 |
199 |
167 |
199 |
| af-synthesis_wt-af-synthesis_stb_50_160_1.wcnf.xz |
108 |
108 |
114 |
108 |
108 |
108 |
108 |
109 |
111 |
108 |
108 |
109 |
| BTBNSL_wt-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf.xz |
136550600 |
137360051 |
139988082 |
139175631 |
137788840 |
137794029 |
137360051 |
138165725 |
153413098 |
150650201 |
137761097 |
138183425 |
| synplicate_new-synplicate_complete_tree_arity3_feature_4_size_10_ms_0_25_0_erm.wcnf.xz |
574 |
576 |
644 |
589 |
589 |
585 |
590 |
589 |
857 |
853 |
576 |
591 |
| synplicate_new-synplicate_complete_tree_arity5_feature_3_size_7_ms_0_25_0_erm.wcnf.xz |
472 |
472 |
591 |
556 |
486 |
500 |
472 |
479 |
678 |
670 |
514 |
505 |
| decision-tree-australian-credit-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.xz |
309 |
339 |
406 |
394 |
465 |
423 |
367 |
448 |
484 |
520 |
339 |
525 |
| BTBNSL_wt-Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf.xz |
170618001 |
170700541 |
171392360 |
170700541 |
173665034 |
172990224 |
173671218 |
173566513 |
178330345 |
178521246 |
173307672 |
172849785 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_UNARY_N250.wcnf.xz |
14210092 |
14566024 |
19510367 |
15883294 |
15519720 |
15375346 |
15649412 |
15523794 |
15560752 |
15432974 |
15487071 |
14566024 |
| ramsey_wt-ram_k3_n17.ra1.wcnf.xz |
10372 |
10372 |
31494 |
13008 |
10372 |
10372 |
10372 |
10372 |
10372 |
10372 |
10372 |
10372 |
| causal-discovery_wt-causal_Mildew_8_1000.wcnf.xz |
69443335 |
69443335 |
486540177 |
69443335 |
69443335 |
69443335 |
69443335 |
69443335 |
69443335 |
69443335 |
69443335 |
69443335 |
| timetabling_wt-comp21.wcnf.xz |
80 |
80 |
1224 |
80 |
94 |
86 |
94 |
90 |
162 |
153 |
100 |
98 |
| af-synthesis_wt-af-synthesis_stb_50_200_0.wcnf.xz |
124 |
124 |
127 |
124 |
124 |
124 |
124 |
124 |
124 |
127 |
124 |
124 |
| af-synthesis_wt-af-synthesis_stb_50_120_5.wcnf.xz |
114 |
114 |
127 |
114 |
114 |
115 |
114 |
114 |
117 |
115 |
114 |
117 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.4_0.wcnf.xz |
123081 |
124100 |
381282 |
161687 |
124100 |
126035 |
127076 |
126046 |
124686 |
126129 |
125962 |
125553 |
| tcp_wt-tcp_students_98_it_11.wcnf.xz |
2694 |
2694 |
2694 |
2805 |
2694 |
2697 |
2694 |
2694 |
2697 |
2697 |
2697 |
2694 |
| BTBNSL_wt-Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf.xz |
274985739 |
275248256 |
275248256 |
275441767 |
276307125 |
276796907 |
276528442 |
276963424 |
290755348 |
289422362 |
276764896 |
276684610 |
| judgment-aggregation-ja-kemeny-preflib-00051-00000011.wcnf.xz |
694 |
694 |
2583 |
703 |
694 |
694 |
694 |
694 |
694 |
695 |
695 |
694 |
| synplicate_new-synplicate_synthetic_dag_run1_17_size_5_ms_0_25_0_erm.wcnf.xz |
66 |
67 |
138 |
67 |
71 |
86 |
86 |
86 |
151 |
150 |
86 |
86 |
| abstraction-refinement_wt-downcast-antlr.wcnf.xz |
76250 |
76311 |
<NA> |
76318 |
76343 |
76349 |
76352 |
76342 |
76378 |
76374 |
76332 |
76311 |
| MinimumWeightDominatingSetProblem_wt-web-wikipedia2009.wcnf.xz |
26848127 |
26848127 |
45873018 |
26848127 |
26948970 |
26885709 |
26880248 |
26886340 |
27093810 |
27090364 |
26958940 |
26958997 |
| timetabling_wt-comp02.wcnf.xz |
24 |
24 |
1438 |
29 |
32 |
30 |
24 |
26 |
90 |
102 |
24 |
30 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.1_9.wcnf.xz |
107667 |
107667 |
112483 |
108688 |
107667 |
111198 |
107897 |
109033 |
107667 |
107667 |
107667 |
107667 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_150.wcnf.xz |
66 |
76 |
134 |
144 |
92 |
97 |
76 |
80 |
528 |
<NA> |
82 |
90 |
| max-realizability_wt-power-distribution_10_7.wcnf.xz |
60 |
60 |
60 |
66 |
60 |
60 |
60 |
60 |
60 |
60 |
60 |
60 |
| setcover_wt-rail507.wcnf.xz |
177 |
177 |
309 |
263 |
177 |
179 |
182 |
181 |
188 |
190 |
188 |
188 |
| MaxSATQueriesinInterpretableClassifiers_wt-twitter_train_5_CNF_4_10.wcnf.xz |
14343 |
14343 |
118952 |
240000 |
15579 |
14562 |
14825 |
14343 |
16010 |
15160 |
16336 |
16025 |
| causal-discovery_wt-causal_n6_i2_N500_uai13_log_int.wcnf.xz |
877436991 |
877436991 |
1220815321 |
877436991 |
877436991 |
877436991 |
877436991 |
877436991 |
6695431407 |
6695431407 |
877436991 |
877436991 |
| ramsey_wt-ram_k3_n18.ra1.wcnf.xz |
15621 |
15621 |
50920 |
20232 |
15621 |
15621 |
15925 |
15786 |
15621 |
15786 |
15621 |
15621 |
| synplicate_new-synplicate_complete_tree_arity3_feature_4_size_5_ms_0_25_0_erm.wcnf.xz |
506 |
506 |
539 |
508 |
506 |
506 |
506 |
506 |
605 |
599 |
513 |
506 |
| drmx-cryptogen_wt-threshold128_1.wcnf.xz |
811 |
815 |
1014 |
815 |
819 |
830 |
818 |
821 |
824 |
830 |
821 |
819 |
| abstraction-refinement_wt-polysite-lusearch.wcnf.xz |
421456 |
421456 |
424211 |
421456 |
421471 |
421469 |
421469 |
421467 |
421614 |
421630 |
421478 |
421731 |
| BTBNSL_wt-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.xz |
1394879690 |
1395587504 |
1395587504 |
1396563481 |
1418439769 |
1415344486 |
1410255890 |
1416793558 |
1462668989 |
1572960046 |
1414974865 |
1425473092 |
| relational-inference_wt-pa-3.wcnf.xz |
1411 |
5783 |
<NA> |
<NA> |
7374 |
7474 |
7994 |
7934 |
446468655 |
<NA> |
7514 |
5783 |
| relational-inference_wt-ar-2.wcnf.xz |
394752 |
394752 |
<NA> |
394752 |
394807 |
394827 |
394851 |
394840 |
394790 |
394799 |
394798 |
394795 |
| MinimumWeightDominatingSetProblem_wt-hugebubbles-00020.wcnf.xz |
469941470 |
1903079349 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
1903079349 |
<NA> |
<NA> |
<NA> |
| synplicate_new-synplicate_synthetic_dag_run1_14_size_6_ms_0_25_0_erm.wcnf.xz |
213 |
268 |
695 |
645 |
347 |
380 |
382 |
268 |
480 |
644 |
293 |
427 |
| frb_wt-frb40-19-4.wcnf.xz |
720 |
720 |
726 |
720 |
721 |
721 |
722 |
722 |
721 |
722 |
722 |
722 |
| af-synthesis_wt-af-synthesis_stb_50_160_9.wcnf.xz |
113 |
113 |
113 |
113 |
113 |
113 |
113 |
113 |
116 |
113 |
113 |
113 |
| af-synthesis_wt-af-synthesis_stb_50_20_8.wcnf.xz |
120 |
120 |
129 |
120 |
120 |
120 |
120 |
120 |
121 |
120 |
120 |
120 |
| protein_ins_wt-3ebx_.1era_.g.wcnf.t.wcnf.xz |
2517 |
2517 |
2517 |
2540 |
2517 |
2517 |
2517 |
2517 |
2517 |
2517 |
2517 |
2517 |
| MinimumWeightDominatingSetProblem_wt-soc-livejournal-user-groups.wcnf.xz |
86090251 |
87425360 |
<NA> |
<NA> |
100105640 |
100108945 |
100093714 |
87425360 |
<NA> |
<NA> |
99898766 |
138017338 |
| synplicate_new-synplicate_complete_tree_arity2_feature_4_size_9_ms_0_25_0_erm.wcnf.xz |
281 |
281 |
281 |
284 |
281 |
281 |
281 |
281 |
572 |
514 |
281 |
281 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.xz |
8082075 |
8082075 |
33716910 |
8168653 |
8206398 |
8082075 |
8137218 |
8288276 |
8556787 |
8391418 |
8237145 |
8094455 |
| BTBNSL_wt-Rounded_BTWBNSL_Horse.BIC_TWBound_2.wcnf.xz |
452466275 |
452955345 |
452955345 |
453498599 |
454002610 |
454501099 |
454162330 |
454141312 |
464146105 |
463958144 |
454283446 |
454359856 |
| spot5_wt-1405.wcsp.log.wcnf.xz |
459415 |
459415 |
498502 |
459453 |
459415 |
459417 |
459422 |
459417 |
459416 |
459418 |
459416 |
459416 |
| decision-tree-primary-tumor-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_3.wcnf.xz |
108 |
112 |
122 |
112 |
137 |
141 |
130 |
139 |
148 |
145 |
127 |
148 |
| timetabling_wt-comp06.wcnf.xz |
27 |
34 |
498 |
53 |
109 |
216 |
34 |
116 |
150 |
158 |
142 |
64 |
| timetabling_wt-test4.wcnf.xz |
134 |
470 |
636 |
707 |
536 |
1118 |
1118 |
593 |
470 |
520 |
1118 |
<NA> |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_74.wcnf.xz |
16 |
20 |
160 |
177 |
28 |
28 |
20 |
28 |
277 |
<NA> |
26 |
28 |
| af-synthesis_wt-af-synthesis_stb_50_140_1.wcnf.xz |
127 |
127 |
127 |
127 |
127 |
127 |
127 |
127 |
127 |
128 |
127 |
127 |
| drmx-cryptogen_wt-threshold128_2.wcnf.xz |
800 |
813 |
1011 |
813 |
821 |
830 |
818 |
821 |
824 |
829 |
821 |
819 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000451.wcnf.xz |
928 |
928 |
8349 |
940 |
928 |
928 |
928 |
928 |
929 |
929 |
928 |
929 |
| mpe_wt-random-net-20-5_network-3.net.wcnf.xz |
19569 |
19569 |
21691 |
19569 |
19569 |
19569 |
19569 |
19569 |
19569 |
19569 |
19569 |
19569 |
| decision-tree-australian-credit-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.xz |
131 |
134 |
147 |
134 |
180 |
195 |
190 |
222 |
195 |
188 |
180 |
161 |
| protein_ins_wt-2knt_.5pti_.g.wcnf.t.wcnf.xz |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
2156 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.4_1.wcnf.xz |
122327 |
123918 |
391719 |
166443 |
125888 |
124592 |
125714 |
126042 |
123918 |
124038 |
124475 |
125403 |
| lisbon-wedding_wt-lisbon-wedding-1-18.wcnf.xz |
961 |
961 |
961 |
961 |
961 |
961 |
961 |
961 |
1215 |
<NA> |
961 |
961 |
| causal-discovery_wt-causal_n7_i4_N500_uai14_log_int.wcnf.xz |
37532020924 |
37532020924 |
37532020924 |
37532020924 |
54818305300 |
43883364400 |
37532020924 |
105207216804 |
138415729550 |
138415729550 |
43063408400 |
39838116700 |
| tcp_wt-tcp_students_112_it_13.wcnf.xz |
2958 |
2958 |
2958 |
3141 |
2958 |
2958 |
2958 |
2958 |
3030 |
2994 |
2958 |
2958 |
| synplicate_new-synplicate_complete_tree_arity3_feature_4_size_6_ms_0_25_0_erm.wcnf.xz |
521 |
521 |
563 |
524 |
521 |
521 |
521 |
521 |
638 |
649 |
527 |
521 |
| railway-transport_wt-f2030.wcnf.xz |
4250 |
4359 |
7336 |
4359 |
4494 |
4499 |
4494 |
4373 |
29608 |
<NA> |
4400 |
4494 |
| causal-discovery_wt-causal_insurance_8_10000.wcnf.xz |
38605539 |
38605539 |
42703598 |
38605539 |
38605539 |
38605539 |
38605539 |
38605539 |
338555698 |
63498279 |
38605539 |
49666734 |
| af-synthesis_wt-af-synthesis_stb_50_160_5.wcnf.xz |
113 |
113 |
114 |
113 |
113 |
113 |
113 |
113 |
113 |
114 |
116 |
113 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf.xz |
72335832 |
72335832 |
125031156 |
75290262 |
77227885 |
72967638 |
72335832 |
73623281 |
92508161 |
86679535 |
77665256 |
85207822 |
| lisbon-wedding_wt-lisbon-wedding-6-19.wcnf.xz |
805 |
805 |
805 |
981 |
805 |
805 |
805 |
805 |
1140 |
1019 |
807 |
856 |
| judgment-aggregation-ja-kemeny-preflib-00043-00000180.wcnf.xz |
433 |
433 |
2887 |
434 |
433 |
433 |
433 |
433 |
433 |
433 |
433 |
433 |
| abstraction-refinement_wt-downcast-xalan.wcnf.xz |
65491 |
65494 |
68443 |
65496 |
65535 |
65535 |
65494 |
65538 |
65558 |
65572 |
65532 |
65500 |
| synplicate_new-synplicate_synthetic_dag_run1_16_size_4_ms_0_25_0_erm.wcnf.xz |
147 |
156 |
265 |
205 |
201 |
187 |
202 |
169 |
299 |
289 |
156 |
228 |
| judgment-aggregation-ja-kemeny-preflib-00049-00000334.wcnf.xz |
542 |
542 |
739 |
553 |
542 |
542 |
542 |
542 |
542 |
542 |
542 |
542 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.5_7.wcnf.xz |
135735 |
135735 |
459799 |
372993 |
136309 |
136303 |
136875 |
138399 |
136113 |
135735 |
136088 |
136342 |
| drmx-cryptogen_wt-threshold128_8.wcnf.xz |
800 |
812 |
1003 |
812 |
819 |
827 |
818 |
813 |
825 |
824 |
813 |
818 |
| synplicate_new-synplicate_complete_tree_arity3_feature_3_size_11_ms_0_25_0_erm.wcnf.xz |
126 |
126 |
132 |
126 |
126 |
142 |
126 |
143 |
662 |
631 |
132 |
152 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.5_2.wcnf.xz |
224309 |
224309 |
427607 |
225129 |
224687 |
225003 |
226959 |
224309 |
224435 |
224561 |
225445 |
224309 |
| haplotyping-pedigrees_wt-ped2.G.recomb10-0.20-12.wcnf.xz |
54713 |
54713 |
54713 |
54713 |
54713 |
54713 |
54713 |
54713 |
55040 |
54939 |
54723 |
54728 |
| synplicate_new-synplicate_complete_tree_arity3_feature_4_size_12_ms_0_25_0_erm.wcnf.xz |
606 |
606 |
728 |
697 |
644 |
619 |
606 |
606 |
964 |
<NA> |
639 |
631 |
| synplicate_new-synplicate_synthetic_dag_run2_17_size_10_ms_26_50_0_erm.wcnf.xz |
810 |
1100 |
1477 |
1455 |
1204 |
1266 |
1267 |
1177 |
1403 |
<NA> |
1133 |
1100 |
| setcover_wt-rail4284.wcnf.xz |
1120 |
1120 |
<NA> |
1857 |
1120 |
1152 |
1177 |
1176 |
1456495 |
<NA> |
1156 |
1156 |
| MinimumWeightDominatingSetProblem_wt-socfb-uci-uni.wcnf.xz |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
| MinimumWeightDominatingSetProblem_wt-inf-road-usa.wcnf.xz |
624089416 |
2075105857 |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
<NA> |
2075105857 |
<NA> |
<NA> |
<NA> |
| max-realizability_wt-power-distribution_11_6.wcnf.xz |
126 |
126 |
126 |
127 |
126 |
126 |
126 |
126 |
126 |
127 |
126 |
127 |
| BTBNSL_wt-Rounded_BTWBNSL_Hepatitis.BIC_TWBound4.wcnf.xz |
132258419 |
132258419 |
132258419 |
132258422 |
133389634 |
133389634 |
133389634 |
133165194 |
136283800 |
136572360 |
133307977 |
133389631 |
| timetabling_wt-comp07.wcnf.xz |
6 |
88 |
549 |
382 |
193 |
88 |
104 |
120 |
314 |
289 |
216 |
195 |
| decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_5.wcnf.xz |
93 |
163 |
381 |
236 |
174 |
170 |
163 |
168 |
174 |
169 |
174 |
174 |
| synplicate_new-synplicate_synthetic_dag_run1_14_size_5_ms_0_25_0_erm.wcnf.xz |
208 |
230 |
660 |
307 |
264 |
231 |
269 |
268 |
466 |
415 |
230 |
283 |
| mpe_wt-random-net-30-5_network-4.net.wcnf.xz |
28151 |
28151 |
31011 |
28863 |
28151 |
28151 |
28151 |
28151 |
28151 |
28151 |
28151 |
28151 |
| railway-transport_wt-bf2030fvcons.wcnf.xz |
3271 |
3271 |
3919 |
3271 |
3281 |
3281 |
3281 |
3281 |
4257 |
<NA> |
3280 |
3281 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein4_TRANSITIVE_N190.wcnf.xz |
3553940 |
3553940 |
4844080 |
3553940 |
3553940 |
3553940 |
3553940 |
3553940 |
3553940 |
3553940 |
3553940 |
3553940 |
| decision-tree-australian-credit-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.xz |
186 |
228 |
331 |
228 |
298 |
309 |
253 |
311 |
300 |
311 |
298 |
299 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.8_0.wcnf.xz |
313158 |
313158 |
643007 |
313958 |
313158 |
313158 |
314280 |
314124 |
313958 |
313958 |
313397 |
314280 |
| judgment-aggregation-ja-kemeny-preflib-00051-00000007.wcnf.xz |
545 |
545 |
2022 |
553 |
545 |
545 |
545 |
545 |
545 |
545 |
545 |
545 |
| protein_ins_wt-p1.wcnf.t.wcnf.xz |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
| ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.4_2.wcnf.xz |
193813 |
193813 |
399821 |
196515 |
194495 |
193813 |
194495 |
194495 |
194141 |
193813 |
194469 |
195833 |
| causal-discovery_wt-causal_Water_10_100.wcnf.xz |
1885872 |
1885872 |
94466949 |
1885872 |
1885872 |
1885872 |
1885872 |
1885872 |
1885872 |
69054468 |
1885872 |
1885872 |
| drmx-cryptogen_wt-threshold128_0.wcnf.xz |
809 |
810 |
897 |
810 |
819 |
828 |
819 |
823 |
823 |
823 |
823 |
820 |
| MaxSATQueriesinInterpretableClassifiers_wt-heart_train_1_CNF_3_5.wcnf.xz |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
171 |
| decision-tree-primary-tumor-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.xz |
67 |
69 |
73 |
77 |
75 |
71 |
70 |
69 |
92 |
86 |
71 |
76 |
| lisbon-wedding_wt-lisbon-wedding-7-19.wcnf.xz |
424 |
424 |
429 |
424 |
429 |
428 |
424 |
425 |
514 |
498 |
430 |
430 |
| af-synthesis_wt-af-synthesis_stb_50_140_7.wcnf.xz |
109 |
109 |
121 |
109 |
109 |
109 |
109 |
109 |
109 |
109 |
109 |
109 |
| af-synthesis_wt-af-synthesis_stb_50_40_8.wcnf.xz |
117 |
117 |
128 |
117 |
117 |
119 |
117 |
117 |
117 |
117 |
117 |
117 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_76.wcnf.xz |
10 |
22 |
56 |
98 |
22 |
28 |
28 |
26 |
231 |
<NA> |
32 |
32 |
| BTBNSL_wt-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf.xz |
1388734978 |
1396085526 |
1399326570 |
1396085526 |
1419327547 |
1416061330 |
1409602590 |
1423194643 |
1589674368 |
1621953717 |
1420079039 |
1421544420 |
| af-synthesis_wt-af-synthesis_stb_50_100_4.wcnf.xz |
123 |
123 |
125 |
123 |
124 |
124 |
124 |
124 |
124 |
124 |
124 |
124 |
| BTBNSL_wt-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_2.wcnf.xz |
5252393210 |
5253729082 |
5498727371 |
5253729082 |
5266864282 |
5266864282 |
5266864282 |
5266864282 |
5732231262 |
5739461881 |
5266864282 |
5266836492 |
| MinimumWeightDominatingSetProblem_wt-bn-human-BNU_1_0025865_session_1-bg.wcnf.xz |
119324637 |
119328189 |
<NA> |
119360674 |
119331660 |
119328905 |
119328189 |
119329035 |
140539244 |
<NA> |
119331958 |
119331154 |
| abstraction-refinement_wt-polysite-avrora.wcnf.xz |
51801 |
51801 |
55501 |
51801 |
51817 |
51812 |
51814 |
51808 |
51943 |
52136 |
51828 |
51816 |
| decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.xz |
174 |
199 |
234 |
199 |
235 |
229 |
241 |
284 |
276 |
276 |
243 |
211 |
| af-synthesis_wt-af-synthesis_stb_50_140_0.wcnf.xz |
120 |
120 |
128 |
120 |
120 |
122 |
121 |
120 |
121 |
121 |
121 |
121 |
| railway-transport_wt-wg2.wcnf.xz |
78 |
84 |
704 |
84 |
123 |
103 |
121 |
90 |
160 |
159 |
106 |
142 |
| correlation-clustering_wt-Rounded_CorrelationClustering_Protein4_BINARY_N400.wcnf.xz |
18303251 |
18303251 |
171152589 |
18930265 |
18768941 |
18332366 |
18303251 |
18386263 |
18505646 |
18827227 |
19980184 |
19840125 |
| drmx-cryptogen_wt-threshold128_6.wcnf.xz |
813 |
818 |
886 |
818 |
824 |
829 |
819 |
819 |
828 |
823 |
819 |
821 |
| synplicate_new-synplicate_complete_tree_arity2_feature_4_size_8_ms_0_25_0_erm.wcnf.xz |
318 |
318 |
318 |
318 |
318 |
318 |
318 |
318 |
546 |
547 |
318 |
318 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.5_6.wcnf.xz |
135356 |
135596 |
469750 |
167617 |
136137 |
135958 |
136536 |
135724 |
135740 |
135777 |
135596 |
135929 |
| BTBNSL_wt-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf.xz |
5256866237 |
5275253809 |
5324938353 |
5388406210 |
5276763036 |
5276763036 |
5276763036 |
5276763036 |
5678573431 |
5675966371 |
5276763036 |
5275253809 |
| abstraction-refinement_wt-downcast-pmd.wcnf.xz |
4227 |
4260 |
<NA> |
4351 |
4267 |
4261 |
4260 |
4261 |
4281 |
<NA> |
4264 |
4261 |
| BTBNSL_wt-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf.xz |
5253148479 |
5276763036 |
5631620605 |
5372002371 |
5276763036 |
5276763036 |
5276763036 |
5276763036 |
5678934086 |
5678512401 |
5276763036 |
5276763036 |
| railway-transport_wt-r11.wcnf.xz |
43336995 |
45300322 |
75713452 |
56047928 |
45300322 |
45633147 |
47071828 |
47324265 |
112002481 |
<NA> |
45935393 |
46940704 |
| decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.xz |
149 |
166 |
644 |
200 |
400 |
166 |
184 |
289 |
379 |
386 |
216 |
301 |
| synplicate_new-synplicate_complete_tree_arity3_feature_3_size_8_ms_0_25_0_erm.wcnf.xz |
244 |
249 |
249 |
250 |
261 |
258 |
261 |
260 |
552 |
535 |
261 |
261 |
| protein_ins_wt-6ebx_.1era_.g.wcnf.t.wcnf.xz |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
1646 |
| synplicate_new-synplicate_synthetic_dag_run2_0_size_10_ms_26_50_0_erm.wcnf.xz |
892 |
1145 |
1404 |
1260 |
1246 |
1145 |
1228 |
1185 |
1685 |
<NA> |
1159 |
1151 |
| ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.3_1.wcnf.xz |
97098 |
98149 |
111851 |
321316 |
99303 |
98501 |
103660 |
101526 |
101648 |
100050 |
98587 |
98149 |
| preference_planning_wt-WCNF_pathways_p16.wcnf.xz |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
257 |
| setcover_wt-rail4872.wcnf.xz |
1575 |
1585 |
<NA> |
2466 |
1585 |
1615 |
1654 |
1646 |
<NA> |
<NA> |
1654 |
1657 |
| railway-transport_wt-bf2030fvslack.wcnf.xz |
245735 |
257685 |
368914 |
257685 |
258546 |
311998 |
259832 |
259269 |
561747 |
<NA> |
259027 |
317174 |
| metro_wt-metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf.xz |
138 |
138 |
138 |
138 |
138 |
138 |
138 |
138 |
231 |
220 |
138 |
138 |
| protein_ins_wt-1bpi_.2knt_.g.wcnf.t.wcnf.xz |
2407 |
2407 |
2407 |
2429 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
2407 |
| lisbon-wedding_wt-lisbon-wedding-9-17.wcnf.xz |
394 |
394 |
409 |
394 |
394 |
394 |
395 |
395 |
483 |
468 |
394 |
395 |
| abstraction-refinement_wt-downcast-avrora.wcnf.xz |
46642 |
46643 |
50380 |
46643 |
46645 |
46645 |
46644 |
46645 |
46728 |
46697 |
46682 |
46663 |
| switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_70.wcnf.xz |
6 |
10 |
43 |
94 |
20 |
14 |
20 |
14 |
240 |
<NA> |
10 |
16 |
| relational-inference_wt-pa-2.wcnf.xz |
1110 |
11303 |
<NA> |
<NA> |
22500 |
22560 |
22560 |
22560 |
391009241 |
<NA> |
22560 |
11303 |
| synplicate_new-synplicate_complete_tree_arity3_feature_3_size_5_ms_0_25_0_erm.wcnf.xz |
311 |
311 |
318 |
324 |
311 |
311 |
311 |
311 |
459 |
432 |
311 |
311 |
| synplicate_new-synplicate_complete_tree_arity2_feature_4_size_10_ms_0_25_0_erm.wcnf.xz |
250 |
250 |
250 |
253 |
250 |
250 |
250 |
250 |
611 |
604 |
250 |
250 |