Solver	#Ins.	ubcsat-irots	Sat4j-i
frb	34	34%	4%
ramsey	15	15%	4%
wmaxcut/dimacs_mod	62	62%	2%
wmaxcut/spinglass	5	5%	0%