Solver	#Ins.	CCLS	iraNovelty++	SAT4Jms-ext-i	SAT4Jms-int-i	optimax-it
highgirth/3sat	50	98%	84%	0%	0%	0%
highgirth/4sat	32	87%	96%	0%	0%	0%
max2sat/120v	50	100%	70%	0%	0%	0%
max2sat/140v	50	100%	44%	0%	0%	0%
max3sat/70v	50	100%	100%	0%	0%	0%
max3sat/80v	50	100%	100%	0%	0%	0%
min2sat/160v	48	100%	95%	0%	0%	0%
min2sat/200v	48	100%	85%	0%	0%	0%