Solver	#Ins.	Dist	CCLS2014	CCMPA	antom_inc	SAT4J-ms-inc	WPM-2014-in	optimax2-r-i	optimax2-rn-i
min2sat/v160c800l2	30	5.73(30)	9.47(29)	28.33(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/v260c1040l2	30	6.99(30)	7.78(30)	21.13(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c70v350l3	30	1.56(30)	5.97(30)	28.12(30)	0.05(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c80v400l3	30	1.79(30)	3.59(30)	33.49(29)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/hi	30	0.75(29)	8.49(29)	2.36(27)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/me	30	0.63(30)	5.05(29)	2.31(28)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax3sat/hi	30	1.03(30)	1.05(30)	0.09(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	210	209	207	204	1	0	0	0	0