Benchmark	#Ins.	RC2-2018	UWrMaxSAT	Open-WBO-ms	maxino2018	Open-WBO-g	Open-WBO-ms-pre	MaxHS	QMaxSAT2018
MaxSATQueriesinInterpretableClassifiers	30	65.74 (11)	107.44 (11)	290.74 (10)	66.33 (9)	212.34 (9)	322.26 (12)	193.64 (9)	177.91 (9)
MaximumCommonSub-GraphExtraction	30	247.6 (26)	281.16 (28)	139.57 (28)	454.92 (28)	403.47 (26)	93.43 (27)	632.28 (18)	375.85 (23)
ConsistentQueryAnswering	6	60.56 (6)	1.88 (5)	3.52 (6)	1.98 (6)	2.91 (6)	7.15 (6)	1.67 (6)	37.42 (6)
min-fill	18	282.69 (7)	11.52 (2)	2948.57 (1)	195.65 (3)	0.0 (0)	0.0 (0)	249.62 (8)	1628.17 (3)
maxclique	10	7.09 (7)	6.3 (7)	246.21 (8)	214.17 (5)	613.04 (8)	412.27 (8)	103.59 (7)	199.12 (5)
drmx-cryptogen	20	303.29 (20)	97.94 (19)	88.79 (20)	169.07 (20)	96.19 (20)	0.0 (0)	27.67 (20)	0.0 (0)
extension-enforcement	15	16.76 (8)	11.47 (7)	124.25 (4)	1.04 (8)	85.7 (4)	21.73 (8)	537.81 (12)	0.0 (0)
atcoss	16	283.7 (6)	110.54 (7)	710.45 (7)	236.18 (7)	534.84 (6)	595.47 (8)	727.0 (8)	541.61 (7)
hs-timetabling	1	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)
CircuitTraceCompaction	4	45.59 (4)	7.52 (4)	138.9 (4)	7.07 (4)	21.52 (4)	50.61 (4)	153.08 (2)	16.65 (4)
reversi	14	55.39 (3)	918.03 (4)	352.13 (3)	106.0 (3)	56.51 (3)	299.66 (4)	43.91 (1)	857.16 (4)
mbd	17	18.26 (16)	4.84 (17)	22.31 (17)	121.95 (17)	5.36 (17)	40.77 (17)	87.51 (17)	115.83 (16)
set-covering	10	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	16.02 (1)	0.0 (0)
routing	9	5.53 (9)	1.94 (9)	6.94 (9)	2.38 (9)	0.87 (9)	7.17 (9)	36.45 (9)	1.78 (9)
xai-mindset2	17	61.18 (7)	55.18 (7)	271.65 (8)	87.73 (7)	499.8 (8)	65.64 (8)	10.42 (6)	772.36 (3)
ramsey	15	2.05 (1)	1.17 (1)	0.81 (1)	1.17 (1)	1.68 (1)	0.97 (1)	1.19 (1)	0.0 (0)
aes-key-recovery	11	260.78 (11)	5.81 (10)	346.72 (11)	12.72 (10)	73.92 (10)	137.3 (11)	73.3 (9)	1390.85 (2)
gen-hyper-tw	9	0.0 (0)	0.0 (0)	807.18 (1)	0.0 (0)	0.0 (0)	343.32 (1)	0.0 (0)	0.0 (0)
protein_ins	11	91.01 (11)	212.84 (11)	128.57 (11)	300.1 (11)	241.47 (11)	278.84 (11)	120.14 (2)	55.63 (11)
CircuitDebuggingProblems	9	157.24 (9)	10.78 (9)	107.18 (9)	21.86 (9)	4.89 (9)	83.09 (9)	38.61 (9)	448.69 (7)
des	20	149.67 (20)	92.4 (20)	150.09 (20)	202.06 (20)	112.49 (20)	103.83 (20)	311.59 (20)	0.0 (0)
drmx-atmostk	17	23.95 (17)	7.89 (17)	10.62 (17)	421.19 (17)	7.57 (17)	7.44 (17)	835.96 (3)	1.1 (17)
maxcut	8	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	0.0 (0)	1052.74 (1)	620.41 (1)	0.0 (0)
causal-discovery	10	86.75 (10)	59.33 (10)	214.17 (10)	93.02 (10)	69.66 (10)	92.9 (10)	98.55 (10)	86.45 (10)
wqueens	3	1.08 (3)	0.56 (3)	6.62 (3)	0.67 (3)	0.1 (3)	7.64 (3)	173.84 (3)	0.12 (3)
SeanSafarpour	12	186.45 (12)	14.07 (11)	82.61 (12)	36.15 (12)	6.26 (12)	124.48 (12)	98.27 (12)	617.51 (9)
jobshop	2	57.95 (2)	48.92 (2)	360.88 (2)	53.54 (2)	44.88 (2)	200.81 (2)	143.41 (2)	22.58 (2)
mqc	15	13.38 (15)	50.11 (15)	48.61 (15)	14.22 (15)	20.85 (15)	32.36 (15)	27.96 (15)	59.06 (15)
biorepair	13	22.17 (13)	7.14 (13)	20.64 (13)	1.65 (13)	20.44 (13)	9.3 (13)	4.06 (13)	6.21 (13)
fault-diagnosis	21	128.04 (20)	80.9 (20)	292.72 (17)	154.52 (18)	45.54 (16)	340.81 (18)	211.63 (2)	262.54 (14)
aes	7	0.33 (1)	0.26 (1)	3.81 (1)	0.33 (1)	0.14 (1)	10.37 (1)	105.71 (2)	1846.63 (1)
rna-alignment	2	1.26 (2)	0.68 (2)	79.36 (2)	45.06 (2)	115.71 (2)	51.02 (2)	71.76 (2)	2.16 (2)
uaq	15	200.7 (11)	50.7 (10)	510.17 (10)	69.48 (9)	747.19 (9)	167.15 (11)	375.26 (8)	142.16 (6)
tpr	11	10.23 (11)	2.68 (11)	109.93 (11)	3.69 (11)	24.4 (11)	24.22 (11)	10.62 (11)	150.11 (11)
frb	9	294.92 (9)	53.98 (9)	56.8 (9)	0.0 (0)	164.67 (9)	0.0 (0)	69.04 (8)	358.25 (9)
bcp	11	293.53 (8)	4.99 (7)	238.75 (8)	184.61 (8)	59.68 (7)	350.84 (7)	184.85 (8)	6.47 (5)
close_solutions	21	678.46 (18)	106.51 (20)	184.54 (19)	285.94 (19)	210.04 (20)	175.57 (19)	345.8 (20)	773.23 (11)
kbtree	12	1310.12 (2)	81.08 (1)	890.63 (3)	801.32 (1)	1826.48 (5)	921.98 (5)	89.77 (12)	194.94 (1)
pseudoBoolean	12	104.03 (6)	25.46 (6)	17.99 (6)	462.48 (6)	12.48 (6)	43.87 (2)	33.04 (6)	15.62 (6)
optic	17	17.04 (9)	4.99 (9)	241.3 (7)	10.84 (8)	1.21 (6)	75.3 (10)	242.98 (14)	2040.43 (1)
packup	16	6.7 (16)	2.43 (16)	4.07 (16)	2.26 (16)	1.94 (16)	3.34 (16)	6.04 (16)	12.93 (15)
HaplotypeAssembly	5	40.46 (5)	69.12 (5)	1.66 (4)	1.6 (4)	0.93 (4)	1.25 (4)	194.96 (5)	10.28 (4)
maxone	12	9.78 (12)	12.43 (12)	208.03 (12)	6.4 (12)	135.53 (12)	73.41 (11)	40.77 (12)	49.37 (12)
treewidth-computation	22	673.92 (14)	190.55 (15)	313.77 (15)	341.23 (15)	114.78 (13)	439.74 (16)	352.53 (15)	68.98 (15)
logic-synthesis	15	419.56 (10)	435.66 (9)	149.43 (8)	11.38 (8)	179.76 (8)	121.75 (9)	2.02 (14)	168.7 (4)
vpa	8	5.72 (8)	0.39 (8)	0.14 (8)	0.13 (8)	0.14 (8)	0.6 (8)	0.27 (8)	2.27 (5)
scheduling	5	366.5 (1)	42.91 (2)	1287.48 (2)	118.22 (2)	262.94 (1)	417.85 (2)	1785.0 (1)	1128.6 (2)
railway-transport	6	26.9 (2)	11.56 (2)	41.98 (1)	9.56 (2)	29.41 (2)	80.82 (2)	57.78 (2)	770.85 (3)
Total	599	169.44 (419)	83.86 (414)	174.12 (409)	148.71 (399)	156.88 (399)	151.73 (391)	182.77 (390)	232.95 (305)