Solver	#Ins.	ubcsat-irots	Sat4j-i
frb	34	100%	11%
ramsey	15	100%	26%
wmaxcut/dimacs_mod	62	100%	3%
wmaxcut/spinglass	5	100%	0%