Solver	#Ins.	CCLS	iraNovelty++	optimax-it	SAT4Jms-int-i	SAT4Jms-ext-i
d/bipartite/maxcut-140-630-0.7	50	2.92(50)	65.31(31)	0.00(0)	0.00(0)	0.00(0)
d/bipartite/maxcut-140-630-0.8	50	2.73(50)	60.37(33)	0.00(0)	0.00(0)	0.00(0)
maxcut/dimacs-mod	62	4.17(62)	3.24(61)	5.05(8)	0.45(2)	0.49(2)
maxcut/spinglass	5	2.37(5)	34.84(4)	0.78(1)	0.00(0)	0.00(0)
Total	167	167	129	9	2	2