Best-Sol	VBS	Exact_mse	Loandra	NuWLS_c_IBR	SPB_MaxSAT_c_Band	SPB_MaxSAT_c_FPS	SPB_MaxSAT_c	noSAT_MaxSAT_c	noSAT_MaxSAT	tt_open_wbo_inc_glucose	tt_open_wbo_inc_intelsat
Instance
optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_2.wcnf.xz	70	70	70	70	70	70	70	70	277	70	70	70
protein_ins-6ebx_.1era_.g.wcnf.t.wcnf.xz	30	30	30	30	30	30	30	30	30	30	30	30
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml.wcnf.xz	21	21	110	21	132	127	110	121	83	78	132	58
des-cnf.16.p.6.wcnf.xz	16	16	16	16	16	16	16	16	25	<NA>	16	16
minimize-5gons-u5-cube-maxcdcl-60-tmp-15-2655746.wcnf.xz	77	77	89	77	77	77	77	77	77	77	77	77
minimize-5gons-u5-cube-maxcdcl-19-tmp-15-2655746.wcnf.xz	77	77	81	77	77	77	77	77	77	77	77	77
inconsistency-measurement-im-contension-A-2-grd_1948_5_1.tgf.pl.wcnf.xz	325	325	362	325	334	334	338	333	342	340	334	341
ramsey-ram_k4_n20.ra0.wcnf.xz	24	24	41	24	24	24	24	24	24	24	24	24
treewidth-computation-TWComp_1en2_N69.wcnf.xz	16	16	16	16	16	16	17	16	16	16	16	16
ramsey-ram_k3_n12.ra0.wcnf.xz	10	10	10	10	10	10	10	10	10	10	<NA>	10
protein_ins-1bpi_.5pti_.g.wcnf.t.wcnf.xz	29	29	29	29	29	29	29	29	29	29	29	29
minimize-5gons-u5-cube-maxcdcl-8-tmp-15-2655746.wcnf.xz	77	77	98	77	77	77	77	77	77	77	77	77
close_solutions-SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf.xz	24	24	24	24	24	24	24	24	24	<NA>	24	24
protein_ins-3ebx_.1era_.g.wcnf.t.wcnf.xz	34	34	34	34	34	34	34	34	34	34	34	34
inconsistency-measurement-im-contension-A-2-grd_1697_5_7.tgf.pl.wcnf.xz	272	272	290	272	280	278	277	277	286	286	280	284
optic-gen_mult_4_6_9999.wcnf.xz	348	348	1901	406	348	353	349	353	354	352	348	350
logic-synthesis-normalized-test4.pi.opb.msat.wcnf.xz	95	95	398	125	98	95	95	95	97	97	98	98
optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz	371	371	1407	1347	574	371	946	573	1495	656	574	1315
scheduling-cnf_small.wcnf.xz	28	28	30	28	28	31	28	28	50	45	28	28
protein_ins-1bpi_.2knt_.g.wcnf.t.wcnf.xz	35	35	35	35	35	35	35	35	35	35	35	35
decision-tree-australian-credit-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	54	54	158	66	59	57	54	67	73	73	59	64
judgment-aggregation-ja-maxham-preflib-00049-00000106.wcnf.xz	43	43	44	43	43	43	43	43	44	44	43	43
fault-diagnosis-s38584_nan_explicit_27_0.wcnf.xz	203	203	203	203	203	203	204	203	277	273	203	203
min-fill-MinFill_R3_david.wcnf.xz	61	61	68	61	62	61	61	61	63	65	62	61
SeanSafarpour-rsdecoder-problem.dimacs_37.filtered.wcnf.xz	1	1	1	<NA>	5	1	66	21	2	3	1	947
ramsey-ram_k3_n18.ra0.wcnf.xz	60	60	81	62	60	60	60	60	60	60	60	60
protein_ins-2knt_.5pti_.g.wcnf.t.wcnf.xz	32	32	32	32	32	32	32	32	32	32	32	32
treewidth-computation-TWComp_mulsol.i.5-pp_N119.wcnf.xz	31	31	31	31	31	31	31	31	31	31	31	31
planning-bnn-navigation_4x4_5.wcnf.xz	5	5	5	5	5	5	5	5	5	<NA>	5	<NA>
xai-mindset2-ecoli.wcnf.xz	510	510	1010	510	595	604	619	613	571	605	595	568
inconsistency-measurement-im-hit-C-2-stb_304_352.tgf.pl.wcnf.xz	42	42	45	44	42	42	42	42	42	42	42	42
gen-hyper-tw-GenHyperTW_par8-2-c.wcnf.xz	7	8	13	10	9	8	8	8	8	8	9	9
SeanSafarpour-b15-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf.xz	4	4	4	<NA>	4	4	4	4	4	4	4	37
inconsistency-measurement-im-forgetting-B-3-stb_339_393.tgf.pl.wcnf.xz	56	56	207	57	56	56	57	58	66	66	56	56
decision-tree-vote-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz	6	6	6	6	7	7	7	6	9	11	7	7
optimizing-BDDs-lymph-un-wcnf_incomplete_improved_1_2019_6.wcnf.xz	7	7	7	7	7	7	7	7	8	12	7	7
railway-transport-d4.wcnf.xz	1598	1598	20772	5179	1643	1617	1878	1651	1935	2145	2027	1598
optimizing-BDDs-anneal-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz	121	121	125	121	127	136	128	125	129	128	126	138
privilege-escalation-cloud_access_control_repair_task-134.wcnf.xz	6	6	6	<NA>	6	6	6	6	9	<NA>	6	8
privilege-escalation-cloud_access_control_repair_task-141.wcnf.xz	27	27	4121	31	27	27	132	27	5293	<NA>	27	167
frb-frb40-19-4.partial.wcnf.xz	720	720	726	720	720	721	721	721	720	720	720	720
des-cnf.19.p.10.wcnf.xz	19	19	21	19	19	19	19	19	32	<NA>	19	21
des-cnf.17.p.10.wcnf.xz	17	17	22	17	20	20	20	20	27	<NA>	20	17
minimize-5gons-u5-cube-maxcdcl-9-tmp-15-2655746.wcnf.xz	77	77	88	77	77	77	77	77	77	77	77	77
MaxSATQueriesinInterpretableClassifiers-toms_train_8_DNF_2_1.wcnf.xz	567	567	1920	616	576	574	607	591	580	568	576	567
optimizing-BDDs-anneal-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz	109	109	126	116	125	118	123	109	130	124	125	121
privilege-escalation-cloud_access_control_repair_task-15.wcnf.xz	67	67	67	67	377	853	841	877	211	<NA>	389	715
inconsistency-measurement-im-sum-B-3-stb_390_450.tgf.pl.wcnf.xz	46	46	241	46	48	48	48	50	56	55	48	52
setcover-sts-data.135.wcnf.xz	103	103	105	104	103	103	103	103	103	103	103	104
optic-gen_mult_4_6_991.wcnf.xz	134	134	815	163	137	134	134	135	137	138	137	136
ramsey-ram_k3_n16.ra0.wcnf.xz	39	39	48	39	39	39	39	39	39	39	39	39
judgment-aggregation-ja-maxham-preflib-00049-00000291.wcnf.xz	55	55	57	55	55	55	55	55	56	56	55	55
gen-hyper-tw-GenHyperTW_grid3d_5.wcnf.xz	10	10	14	14	13	12	12	12	11	10	13	11
planning-bnn-cellda_x_10.wcnf.xz	<NA>	9	<NA>	9	9	9	9	9	10	<NA>	9	<NA>
close_solutions-SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf.xz	86	86	86	86	86	86	86	86	86	<NA>	86	86
gen-hyper-tw-GenHyperTW_grid4d_3.wcnf.xz	6	6	8	8	8	7	7	7	6	6	8	6
privilege-escalation-cloud_access_control_repair_task-34.wcnf.xz	25	25	25	25	25	25	25	25	25	<NA>	25	25
SeanSafarpour-wb_4m8s4.dimacs.filtered.wcnf.xz	213	213	42241	220	215	213	213	215	231	241	215	327
optimizing-BDDs-soybean-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz	18	18	32	30	21	19	18	19	37	41	19	18
optimizing-BDDs-tic-tac-toe-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz	56	56	277	56	182	228	182	92	172	174	182	173
optic-gen_mult_4_5_991.wcnf.xz	115	115	344	134	117	116	115	116	117	117	117	117
minimize-5gons-u5-cube-maxcdcl-11-tmp-15-2655746.wcnf.xz	77	77	123	77	77	77	77	77	77	77	77	77
minimize-5gons-u5-cube-maxcdcl-12-tmp-15-2655746.wcnf.xz	77	77	97	77	77	77	77	77	77	77	77	77
decision-tree-splice-1-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz	343	343	528	343	1233	1290	1286	1290	1195	757	1230	1154
gen-hyper-tw-GenHyperTW_b06.wcnf.xz	4	4	4	4	4	4	4	4	5	5	4	4
minimize-5gons-u5-cube-maxcdcl-24-tmp-15-2655746.wcnf.xz	77	77	85	77	77	77	77	77	77	77	77	77
planning-bnn-navigation_4x4_7.wcnf.xz	5	5	<NA>	5	5	5	5	5	7	<NA>	5	<NA>
railway-transport-we.wcnf.xz	294	294	6381	5687	303	1460	1333	1333	7966	<NA>	425	294
minimize-5gons-u5-cube-maxcdcl-59-tmp-15-2655746.wcnf.xz	77	77	81	77	77	77	77	77	77	77	77	77
CircuitDebuggingProblems-spi-debug.dimacs.wcnf.xz	1	1	1	347	1	1	1	1	1	1	1	1
minimize-5gons-u5-cube-maxcdcl-36-tmp-15-2655746.wcnf.xz	77	77	84	77	77	77	77	77	77	77	77	77
privilege-escalation-cloud_access_control_repair_task-146.wcnf.xz	8	8	7677	<NA>	8	8	8	8	23	<NA>	8	<NA>
min-fill-MinFill_R0_myciel6.wcnf.xz	753	753	2427	753	790	789	778	801	776	771	792	791
judgment-aggregation-ja-maxham-preflib-00049-00000516.wcnf.xz	53	53	56	54	54	53	54	54	55	55	54	53
causal-discovery-causal_n6_i1_N500_uai13_harddeps_int.wcnf.xz	19	19	19	19	19	19	19	19	38	38	19	19
treewidth-computation-TWComp_queen5_5_N25.wcnf.xz	18	18	18	18	18	18	18	18	18	18	18	18
gen-hyper-tw-GenHyperTW_dubois29.wcnf.xz	5	5	7	5	6	5	6	6	6	5	6	7
SeanSafarpour-rsdecoder-problem.dimacs_39.filtered.wcnf.xz	1	1	1	426	1	1	2	1	1	1	1	1
program-disambiguation-Q27_YESNO_1.wcnf.xz	2	2	2	2	2	2	2	2	4	<NA>	2	2
pseudoBoolean-normalized-par32-1.opb.msat.wcnf.xz	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf.xz	263	263	263	263	263	263	263	263	11920	<NA>	263	263
privilege-escalation-cloud_access_control_repair_task-61.wcnf.xz	16	16	16	<NA>	16	16	312	16	16	16	16	16
ramsey-ram_k3_n19.ra0.wcnf.xz	75	75	102	76	75	75	75	75	75	75	75	75
minimize-5gons-u5-cube-maxcdcl-7-tmp-15-2655746.wcnf.xz	77	77	81	77	77	77	77	77	77	77	77	77
gen-hyper-tw-GenHyperTW_b01.wcnf.xz	5	5	5	5	5	5	5	5	5	5	5	5
minimize-5gons-u5-cube-maxcdcl-61-tmp-15-2655746.wcnf.xz	77	77	117	77	77	77	77	77	77	77	77	77
min-fill-MinFill_R0_myciel5.wcnf.xz	196	196	357	196	196	196	196	197	197	196	196	205
ramsey-ram_k3_n10.ra0.wcnf.xz	4	4	4	4	4	4	4	4	4	4	4	4
optimizing-BDDs-primary-tumor-un-wcnf_incomplete_improved_1_2019_4.wcnf.xz	49	49	49	49	49	49	49	49	52	55	49	49
MaxSATQueriesinInterpretableClassifiers-twitter_train_3_CNF_2_1.wcnf.xz	1637	1637	16120	2003	1762	1684	1793	1698	1676	1637	1762	1697
treewidth-computation-TWComp_1dj7_N73.wcnf.xz	26	26	26	26	26	26	26	26	26	26	26	26
fault-diagnosis-s38584_nan_explicit_15_0.wcnf.xz	208	208	208	208	209	208	210	210	266	279	209	209
decision-tree-soybean-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz	22	22	22	22	22	22	22	22	71	44	22	22
fault-diagnosis-s38584_nan_explicit_18_0.wcnf.xz	186	186	186	186	187	186	186	186	236	212	187	186
minimize-5gons-u5-cube-maxcdcl-46-tmp-15-2655746.wcnf.xz	77	77	90	77	77	77	77	77	77	77	77	77
MaxSATQueriesinInterpretableClassifiers-compas_train_5_DNF_5_1.wcnf.xz	2108	2108	2684	2108	2180	2110	2120	2111	2123	2123	2121	2161
frb-frb40-19-2.partial.wcnf.xz	720	720	727	720	720	721	721	721	720	721	720	721
MaxSATQueriesinInterpretableClassifiers-toms_test_5_DNF_5_1.wcnf.xz	60	60	129	70	61	60	66	63	60	60	61	61
optic-gen_add_4_carry_991.wcnf.xz	56	56	57	56	56	56	56	56	56	56	56	56
optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_6.wcnf.xz	573	573	1581	1651	1404	574	1227	911	1441	1047	1365	573
pseudoBoolean-normalized-par32-4.opb.msat.wcnf.xz	<NA>	3176	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	3176	<NA>	<NA>	<NA>
judgment-aggregation-ja-maxham-preflib-00049-00000338.wcnf.xz	53	53	54	53	53	53	53	54	53	53	53	54
gen-hyper-tw-GenHyperTW_aim-50-1_6-yes1-3.wcnf.xz	10	10	12	13	12	12	12	11	10	10	12	11
optimizing-BDDs-primary-tumor-un-wcnf_incomplete_improved_1_2019_8.wcnf.xz	30	30	33	30	33	36	35	32	44	41	35	42
inconsistency-measurement-im-hit-A-2-WS_300_16_90_30.tgf.pl.wcnf.xz	34	34	38	36	35	34	34	35	34	34	35	35
optimizing-BDDs-breast-cancer-un-wcnf_incomplete_improved_1_2019_8.wcnf.xz	17	17	131	18	17	25	19	26	44	27	23	22
judgment-aggregation-ja-maxham-preflib-00049-00000512.wcnf.xz	54	54	56	55	55	56	55	54	57	56	55	56
judgment-aggregation-ja-maxham-preflib-00049-00000304.wcnf.xz	56	56	57	56	56	56	56	56	58	58	56	56
inconsistency-measurement-im-sum-A-2-stb_547_485.tgf.pl.wcnf.xz	66	66	597	67	70	72	66	68	79	73	70	69
xai-mindset2-lymphography.wcnf.xz	52	52	53	52	52	52	52	52	57	58	52	53
minimize-5gons-u5-cube-maxcdcl-20-tmp-15-2655746.wcnf.xz	77	77	83	77	77	77	77	77	77	77	77	77
minimize-5gons-u5-cube-maxcdcl-18-tmp-15-2655746.wcnf.xz	77	77	85	77	77	77	77	77	77	77	77	77
judgment-aggregation-ja-slater-preflib-00043-00000180.wcnf.xz	306	306	2755	310	306	306	306	306	306	306	306	306
minimize-5gons-u5-cube-maxcdcl-48-tmp-15-2655746.wcnf.xz	77	77	87	77	77	77	77	77	77	77	77	77
judgment-aggregation-ja-maxham-preflib-00049-00000092.wcnf.xz	46	46	47	47	46	46	47	46	47	48	46	46
inconsistency-measurement-im-contension-A-2-grd_3018_3_7.tgf.pl.wcnf.xz	529	529	592	529	548	548	547	546	555	555	552	548
SeanSafarpour-rsdecoder5.dimacs.filtered.wcnf.xz	2	2	9932	7	2	2	2	2	16	9	2	2
setcover-sts-data.729.wcnf.xz	617	617	650	648	633	633	637	633	617	633	633	617
fault-diagnosis-s38584_nan_explicit_33_0.wcnf.xz	189	189	189	189	190	189	190	189	240	239	190	189
xai-mindset2-australian.wcnf.xz	471	471	995	471	490	484	502	501	543	598	476	472
program-disambiguation-Q36_YESNO_1.wcnf.xz	0	0	0	0	0	0	0	0	4	<NA>	0	0
privilege-escalation-cloud_access_control_repair_task-178.wcnf.xz	20	20	3108	20	24	21	21	21	4184	<NA>	24	21
close_solutions-SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf.xz	148	148	148	148	148	148	148	148	148	<NA>	148	148
gen-hyper-tw-GenHyperTW_flat30-1.wcnf.xz	20	20	37	27	26	23	20	23	23	23	26	22
scheduling-cnf_10_center.wcnf.xz	159	159	207	159	168	159	159	169	205	206	168	167
minimize-5gons-u5-cube-maxcdcl-23-tmp-15-2655746.wcnf.xz	77	77	89	77	77	77	77	77	77	77	77	77
optimizing-BDDs-tic-tac-toe-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz	160	160	312	160	229	229	200	233	208	229	229	217
planning-bnn-sysadmin_4_4.wcnf.xz	4	4	<NA>	4	4	4	4	4	7	<NA>	4	5
min-fill-MinFill_R0_queen9_9.wcnf.xz	1639	1639	1838	1639	1692	1680	1690	1666	1684	1664	1692	1686
min-fill-MinFill_R0_myciel7.wcnf.xz	3229	3229	10749	3229	3349	3503	3456	3742	3413	3417	3339	3679
close_solutions-SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.8.wcnf.xz	50	50	50	50	50	50	50	50	50	<NA>	50	50
decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	284	284	1875	344	284	519	291	519	862	862	377	487
planning-bnn-sysadmin_5_4.wcnf.xz	6	6	<NA>	6	7	7	7	7	9	<NA>	7	8
privilege-escalation-cloud_access_control_repair_task-73.wcnf.xz	31	31	31	31	38	31	94	31	43	31	31	31
inconsistency-measurement-im-forgetting-T-2-stb_265_466.tgf.pl.wcnf.xz	36	36	59	36	36	36	36	36	44	43	36	36
scheduling-cnf_12.wcnf.xz	61	61	87	61	61	62	62	61	107	107	61	61
decision-tree-mushroom-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	0	0	6096	1695	0	0	0	0	3341	<NA>	0	0
minimize-5gons-u5-cube-maxcdcl-44-tmp-15-2655746.wcnf.xz	77	77	137	77	77	77	77	77	77	77	77	77
CircuitDebuggingProblems-rsdecoder-debug.dimacs.wcnf.xz	1	1	1	1	1	1	1	1	1	1	1	264
min-fill-MinFill_R0_mulsol.i.3.wcnf.xz	241	241	10407	247	242	241	242	242	302	252	241	241
xai-mindset2-postoperative-patient-data.wcnf.xz	62	62	67	63	62	62	62	62	75	76	62	62
decision-tree-vote-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz	0	0	1	1	1	1	1	1	11	10	1	0
gen-hyper-tw-GenHyperTW_flat30-99.wcnf.xz	22	22	35	27	23	24	22	22	22	23	23	24
decision-tree-car-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz	143	143	151	143	143	143	143	143	193	152	143	143
xai-mindset2-colic.wcnf.xz	152	152	368	152	163	159	165	154	222	228	163	166
inconsistency-measurement-im-sum-B-3-stb_428_430.tgf.pl.wcnf.xz	53	53	412	54	53	55	57	55	63	62	53	55
judgment-aggregation-ja-maxham-preflib-00049-00000272.wcnf.xz	56	56	58	56	57	57	57	56	58	57	57	57
setcover-sts-data.243.wcnf.xz	198	198	204	198	198	198	198	198	198	198	198	198
minimize-5gons-u5-cube-maxcdcl-32-tmp-15-2655746.wcnf.xz	77	77	102	77	77	77	77	77	77	77	77	77
protein_ins-p1.wcnf.t.wcnf.xz	35	35	35	35	35	35	35	35	35	35	35	35
optic-gen_mult_5_5_991.wcnf.xz	230	230	1833	268	230	232	231	231	231	231	230	231
judgment-aggregation-ja-maxham-preflib-00049-00000511.wcnf.xz	46	46	48	46	46	46	46	47	48	47	47	47
judgment-aggregation-ja-slater-preflib-00049-00000451.wcnf.xz	505	505	2126	513	505	505	505	505	505	505	505	505
SeanSafarpour-wb_4m8s1.dimacs.filtered.wcnf.xz	33	33	41792	81	63	78	65	65	33	34	57	66
planning-bnn-cellda_y_8.wcnf.xz	<NA>	6	<NA>	<NA>	6	6	6	6	7	<NA>	6	6
judgment-aggregation-ja-slater-preflib-00043-00000196.wcnf.xz	321	321	2319	324	321	321	321	321	321	321	321	321
minimize-5gons-u5-cube-maxcdcl-41-tmp-15-2655746.wcnf.xz	77	77	147	77	77	77	77	77	77	77	77	77
program-disambiguation-Q35_OPTIONS_1.wcnf.xz	0	0	0	0	12	12	12	12	12	<NA>	12	0
minimize-5gons-u5-cube-maxcdcl-49-tmp-15-2655746.wcnf.xz	77	77	105	77	77	77	77	77	77	77	77	77
judgment-aggregation-ja-maxham-preflib-00049-00000562.wcnf.xz	42	42	42	42	42	42	42	42	43	43	42	43
fault-diagnosis-s38584_nan_explicit_16_0.wcnf.xz	188	188	188	188	190	190	189	189	236	234	189	188
decision-tree-soybean-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz	9	9	14	9	11	9	14	10	44	64	11	12
privilege-escalation-cloud_access_control_repair_task-47.wcnf.xz	24	24	24	9165	24	24	24	24	24	<NA>	24	<NA>
gen-hyper-tw-GenHyperTW_2bitcomp_5.wcnf.xz	16	16	41	23	19	16	19	20	22	17	19	22
planning-bnn-sysadmin_5_3.wcnf.xz	4	4	4	5	6	6	6	6	9	<NA>	6	5
optimizing-BDDs-anneal-un-wcnf_incomplete_improved_1_2019_2.wcnf.xz	139	139	139	139	139	139	139	139	139	139	139	139
min-fill-MinFill_R0_queen11_11.wcnf.xz	4207	4207	5010	4241	4349	4207	4336	4308	4419	4386	4355	4353
inconsistency-measurement-im-contension-C-1-grd_3018_3_7.tgf.pl.wcnf.xz	497	497	560	497	516	517	518	512	525	525	517	516
privilege-escalation-cloud_access_control_repair_task-130.wcnf.xz	36	36	36	36	102	102	102	36	5532	<NA>	134	36
minimize-5gons-u5-cube-maxcdcl-38-tmp-15-2655746.wcnf.xz	77	77	92	77	77	77	77	77	77	77	77	77
minimize-5gons-u5-cube-maxcdcl-58-tmp-15-2655746.wcnf.xz	77	77	89	77	77	77	77	77	77	77	77	77
minimize-5gons-u5-cube-maxcdcl-29-tmp-15-2655746.wcnf.xz	77	77	96	77	77	77	77	77	77	77	77	77
inconsistency-measurement-im-forgetting-B-3-stb_696_412.tgf.pl.wcnf.xz	80	80	566	89	82	80	80	84	92	92	82	82
decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz	145	145	150	145	1085	423	470	423	872	862	254	584
gen-hyper-tw-GenHyperTW_uf20-099.wcnf.xz	6	6	6	6	6	6	6	6	6	6	6	6
decision-tree-australian-credit-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz	56	56	66	56	65	60	67	57	73	73	65	59
xai-mindset2-house-votes-84.wcnf.xz	74	74	74	74	74	74	74	74	102	<NA>	74	74
planning-bnn-cellda_x_12.wcnf.xz	<NA>	12	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	12	<NA>	<NA>	<NA>
planning-bnn-cellda_y_9.wcnf.xz	6	6	<NA>	<NA>	6	6	6	6	9	<NA>	6	7
min-fill-MinFill_R1_games120.wcnf.xz	1627	1627	4041	1627	1776	1627	1747	1811	1942	1993	1742	1994
privilege-escalation-cloud_access_control_repair_task-117.wcnf.xz	12	12	12	12	12	12	12	12	55	<NA>	12	12
decision-tree-soybean-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	4	4	17	8	6	6	5	4	44	45	6	7
protein_ins-1knt_.5pti_.g.wcnf.t.wcnf.xz	29	29	29	29	29	29	29	29	29	29	29	29
inconsistency-measurement-im-contension-A-2-grd_5178_1_1.tgf.pl.wcnf.xz	837	837	1160	837	872	869	871	861	882	872	872	871
decision-tree-splice-1-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	1016	1016	2415	1016	1360	1360	1360	1360	1195	<NA>	1360	1122
inconsistency-measurement-im-sum-T-1-grd_2130_2_7.tgf.pl.wcnf.xz	406	406	43097	406	458	453	447	455	427	434	458	456
SeanSafarpour-mem_ctrl-problem.dimacs_27.filtered.wcnf.xz	1	1	<NA>	<NA>	35	35	35	35	8	3	35	1
pseudoBoolean-normalized-par32-5.opb.msat.wcnf.xz	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>
judgment-aggregation-ja-maxham-preflib-00049-00000003.wcnf.xz	41	41	41	41	41	41	41	41	41	41	41	41
SeanSafarpour-rsdecoder4.dimacs.filtered.wcnf.xz	4	4	10159	9	4	24	4	4	17	29	19	4
min-fill-MinFill_R0_queen7_7.wcnf.xz	495	495	511	499	495	506	499	500	503	504	495	502
decision-tree-hypothyroid-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz	39	39	2017	43	41	41	40	39	95	102	41	46
minimize-5gons-u5-cube-maxcdcl-53-tmp-15-2655746.wcnf.xz	77	77	97	81	77	77	77	77	77	77	77	77
optic-gen_add_6_carry_991.wcnf.xz	104	104	130	118	104	104	104	104	104	104	104	105
min-fill-MinFill_R3_miles750.wcnf.xz	473	473	4388	473	680	658	670	534	1496	1376	969	674
HaplotypeAssembly-splitedReads_0.matrix.wcnf.xz	1510	1510	3670	1524	1550	1510	1534	1528	1520	1510	1550	1548
xai-mindset2-cleveland-nominal.wcnf.xz	228	228	316	231	228	228	228	228	402	<NA>	228	229
protein_ins-1knt_.1bpi_.g.wcnf.t.wcnf.xz	35	35	35	35	35	35	35	35	35	35	35	35
MaxSATQueriesinInterpretableClassifiers-credit_train_3_DNF_3_1.wcnf.xz	4814	4814	14326	5144	4837	4814	4839	4837	4818	4837	4840	4822
decision-tree-soybean-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz	6	6	10	9	9	6	9	10	44	44	9	10
min-fill-MinFill_R0_mulsol.i.1.wcnf.xz	142	142	2867	142	142	142	142	142	164	195	142	142
protein_ins-sandiaprotein.g.wcnf.t.wcnf.xz	28	28	28	28	28	28	28	28	28	28	28	28
inconsistency-measurement-im-forgetting-A-2-WS_300_16_90_30.tgf.pl.wcnf.xz	34	34	67	36	37	36	36	34	43	42	37	36
railway-transport-pesp_5min.wcnf.xz	68	68	323	68	69	73	68	68	71	71	69	69
judgment-aggregation-ja-slater-preflib-00049-00000107.wcnf.xz	300	300	562	300	300	300	300	300	300	300	300	300
planning-bnn-sysadmin_4_3.wcnf.xz	2	2	3	2	3	3	3	3	6	<NA>	3	3
railway-transport-pesp_18Min.wcnf.xz	280	280	1692	307	280	315	399	368	288	319	299	324
gen-hyper-tw-GenHyperTW_hole8.wcnf.xz	9	9	34	19	9	9	11	10	9	9	9	10
minimize-5gons-u5-cube-maxcdcl-13-tmp-15-2655746.wcnf.xz	77	77	122	77	77	77	77	77	77	77	77	77
planning-bnn-navigation_5x5_9.wcnf.xz	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>	<NA>
gen-hyper-tw-GenHyperTW_atv_partial_system.wcnf.xz	3	3	7	6	5	5	6	6	9	10	5	3
scheduling-cnf_10.wcnf.xz	50	50	237	51	53	54	50	50	113	104	53	51
setcover-sts-data.405.wcnf.xz	336	336	346	343	336	336	336	336	336	336	336	336
scheduling-cnf_12_center.wcnf.xz	237	237	253	237	237	237	237	237	265	259	237	251
optic-gen_mult_5_5_9999.wcnf.xz	500	500	2318	571	500	505	501	504	500	502	500	501
privilege-escalation-cloud_access_control_repair_task-163.wcnf.xz	9	9	9	9	9	9	9	9	9	<NA>	9	9