Solver	#Ins.	CCLS	iraNovelty++	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
frb	34	10.25(34)	49.44(10)	39.59(26)	1.90(4)	2.08(4)
ramsey	15	25.87(14)	44.16(8)	0.00(0)	11.32(3)	12.36(3)
wmaxcut/dimacs_mod	62	1.22(62)	2.20(62)	0.64(4)	0.34(2)	0.32(2)
wmaxcut/spinglass	5	35.30(5)	13.84(3)	0.00(0)	275.61(1)	0.00(0)
Total	116	115	83	30	10	9