Solver	#Ins.	ubcsat-irots	Sat4j-i
wmax2sat/100v	40	100%	0%
wmax2sat/120v	40	100%	0%
wmax2sat/140v	40	100%	0%
wmax3sat/hi	40	100%	0%