Solver	#Ins.	ahmaxsat-ls	ahmaxsat	ISAC+2014-ms	CCLS2akms	WMaxSatz09	WMaxSatz+	ILP-2013	scip-maxsat	clasp	WPM-2014-co	Open-WBO-In	QMS-g3-auto	Open-WBO-SU	QMS-g2-pms	Eva500a	Eva500b	optimax2-rn	maxSatUZK	MaxHS	Open-WBO	MSCG	WBO	pmifumax	optimax2-r	toysat_ls	toysat	SAT4J-ms
d/bipartite/maxcut-140-630-0.7	50	87.50(50)	104.03(50)	129.42(50)	92.90(50)	328.51(49)	370.48(49)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
d/bipartite/maxcut-140-630-0.8	50	63.30(50)	76.91(50)	98.28(50)	69.45(50)	288.12(50)	317.28(50)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
maxcut/dimacs-mod	62	35.32(52)	39.37(52)	35.41(52)	30.41(52)	121.20(52)	110.98(52)	175.63(26)	181.80(22)	161.35(11)	236.08(10)	131.13(9)	173.29(9)	222.63(9)	114.01(8)	124.54(7)	125.69(7)	188.03(8)	317.09(7)	0.12(4)	145.79(5)	0.01(4)	1.50(4)	8.41(4)	8.91(4)	0.85(4)	13.51(4)	0.39(2)
maxcut/spinglass	5	52.95(4)	68.63(4)	178.43(4)	7.07(3)	2.85(3)	3.07(3)	316.95(4)	4.63(2)	0.03(2)	745.63(2)	3.35(2)	35.69(2)	28.56(2)	51.88(2)	149.02(2)	148.86(2)	1.88(1)	2.29(1)	1.97(2)	0.12(1)	0.11(1)	0.07(1)	0.06(1)	0.39(1)	0.00(0)	0.00(0)	0.00(0)
set-covering/scpclr	4	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	148.01(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scpcyc	6	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	177	156	156	156	155	154	154	30	24	13	12	11	11	11	10	9	9	9	8	7	6	5	5	5	5	4	4	2