Solver	#Ins.	CCLS	iraNovelty++	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
frb	34	100%	29%	76%	11%	11%
ramsey	15	93%	53%	0%	20%	20%
wmaxcut/dimacs_mod	62	100%	100%	6%	3%	3%
wmaxcut/spinglass	5	100%	60%	0%	20%	0%