Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	IncMaxSatz	PM2	QMaxSat0.4-cnf	WPM1	claspMaxSat	sat4j-maxsat	wbo1.6-cnf
highgirth/3sat	50	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
highgirth/4sat	32	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1323.93(6)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/120v	50	65.68(50)	94.48(50)	247.33(49)	272.98(49)	425.01(45)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/140v	50	255.81(50)	340.62(49)	546.67(43)	512.78(43)	706.47(27)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max3sat/70v	50	326.26(49)	399.81(49)	488.10(44)	500.36(44)	402.03(48)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max3sat/80v	50	248.08(49)	285.52(49)	428.47(48)	431.95(48)	283.66(49)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	282	198	197	184	184	175	0	0	0	0	0	0