Solver	#Ins.	ahmaxsat-ls	ahmaxsat	CCLS2akms	ISAC+2014-ms	WMaxSatz09	WMaxSatz+	ILP-2013	scip-maxsat	MaxHS	Eva500a	Eva500b	MSCG	Open-WBO-In	Open-WBO-SU	Open-WBO	QMS-g2-pms	QMS-g3-auto	SAT4J-ms	WBO	WPM-2014-co	clasp	maxSatUZK	optimax2-r	optimax2-rn	pmifumax	toysat	toysat_ls
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)	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	1114.37(7)	1217.61(7)	1534.53(6)	1616.32(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1083.78(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)	0.00(0)	0.00(0)
max2sat/120v	50	25.46(50)	36.26(50)	31.04(50)	54.90(50)	225.92(50)	210.61(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)	0.00(0)	0.00(0)	0.00(0)
max2sat/140v	50	80.76(50)	106.85(50)	119.24(50)	208.27(50)	421.53(45)	446.49(45)	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)	0.00(0)	0.00(0)	0.00(0)
max3sat/70v	50	207.84(50)	252.04(50)	191.11(50)	249.53(50)	509.42(48)	499.02(48)	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)	0.00(0)	0.00(0)	0.00(0)
max3sat/80v	50	160.75(50)	200.87(50)	137.44(50)	157.86(50)	340.79(48)	340.55(48)	1600.72(1)	983.59(4)	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)	0.00(0)
min2sat/160v	48	0.50(48)	0.66(48)	1.81(48)	4.30(48)	2.87(48)	3.32(48)	72.34(44)	217.92(34)	249.40(8)	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)
min2sat/200v	48	3.31(48)	3.86(48)	9.32(48)	14.46(48)	27.20(48)	30.32(48)	178.46(36)	386.08(26)	481.84(3)	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)
Total	378	303	303	302	301	287	287	81	64	12	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0