Solver	#Ins.	CCLS	iraNovelty++	optimax-it	SAT4Jms-int-i	SAT4Jms-ext-i
d/bipartite/maxcut-140-630-0.7	50	100%	62%	0%	0%	0%
d/bipartite/maxcut-140-630-0.8	50	100%	66%	0%	0%	0%
maxcut/dimacs-mod	62	100%	98%	12%	3%	3%
maxcut/spinglass	5	100%	80%	20%	0%	0%