Solver	#Ins.	Dist	CCLS2014	CCMPA	antom_inc	SAT4J-ms-inc	WPM-2014-in	optimax2-r-i	optimax2-rn-i
min2sat/v160c800l2	30	1.91(100)	3.05(96)	9.44(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/v260c1040l2	30	2.33(100)	2.59(100)	7.04(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c70v350l3	30	0.52(100)	1.99(100)	9.37(100)	0.01(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c80v400l3	30	0.59(100)	1.19(100)	10.79(96)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/hi	30	0.24(96)	2.73(96)	0.70(90)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/me	30	0.21(100)	1.63(96)	0.72(93)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax3sat/hi	30	0.34(100)	0.35(100)	0.03(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	210	696	690	680	3	0	0	0	0