Solver	#Ins.	ubcsat-irots	Sat4j-i
highgirth/3sat	50	100%	0%
highgirth/4sat	32	100%	0%
max2sat/120v	50	100%	0%
max2sat/140v	50	100%	0%
max3sat/70v	50	100%	0%
max3sat/80v	50	100%	0%
min2sat/160v	48	100%	0%
min2sat/200v	48	100%	0%