Solver	#Ins.	ahmaxsat-ls	ahmaxsat	CCLS2akms	ISAC+2014-ms	WMaxSatz+	WMaxSatz09	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	13.54(21)	14.79(21)	15.98(18)	14.03(15)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1.88(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)
max2sat/120v	50	1.41(100)	2.01(100)	1.72(100)	3.05(100)	11.70(100)	12.55(100)	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	4.48(100)	5.93(100)	6.62(100)	11.57(100)	22.32(90)	21.07(90)	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	11.54(100)	14.00(100)	10.61(100)	13.86(100)	26.61(96)	27.16(96)	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	8.93(100)	11.15(100)	7.63(100)	8.77(100)	18.16(96)	18.17(96)	1.77(2)	4.37(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)	0.00(0)
min2sat/160v	48	0.02(100)	0.03(100)	0.10(100)	0.23(100)	0.18(100)	0.15(100)	3.68(91)	8.57(70)	2.30(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)	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	0.18(100)	0.21(100)	0.51(100)	0.80(100)	1.68(100)	1.51(100)	7.43(75)	11.61(54)	1.67(6)	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	621	621	618	615	582	582	168	133	26	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0