Solver	#Ins.	Maxsatz2013f	ISAC+-ms	ckmax-small	WMaxSatz+	WMaxSatz09	ahmaxsat	MaxHS	ILP-2013	scip-maxsat	Toulbar2	glpk-maxsat	MSUnCore	WPM1-2011	optimax	optimax-ni	pmifumax	toysat	wbo2.1-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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
highgirth/4sat	32	1016.42(6)	1651.13(1)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/120v	50	77.45(50)	55.04(50)	96.08(50)	213.05(50)	226.41(50)	506.21(33)	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)	0.00(0)
max2sat/140v	50	267.20(50)	209.01(50)	328.85(49)	448.78(45)	424.68(45)	905.83(18)	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)	0.00(0)
max3sat/70v	50	236.48(50)	246.83(50)	482.39(48)	502.10(48)	485.84(47)	672.25(34)	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)	0.00(0)
max3sat/80v	50	160.22(50)	180.14(50)	427.57(47)	342.76(48)	344.50(48)	463.54(38)	0.00(0)	1622.54(1)	1170.42(4)	1783.10(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/160v	48	1.48(48)	3.36(48)	2.53(48)	3.35(48)	2.95(48)	18.64(48)	227.52(46)	72.48(44)	203.94(33)	355.73(25)	344.42(6)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/200v	48	12.66(48)	13.41(48)	18.35(48)	30.69(48)	27.32(48)	148.16(47)	298.97(38)	179.36(36)	411.92(25)	324.44(16)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	378	302	297	290	287	286	218	84	81	62	42	6	0	0	0	0	0	0	0