Solver	#Ins.	CCAT	CCLS2014	Swcca_ms	CCMPA	Dist	SAT4J-ms-inc	WPM-2014-in	optimax2-r-i	optimax2-rn-i
highgirth/3sat	50	1.49(100)	2.05(100)	1.03(100)	8.99(96)	6.48(28)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
highgirth/4sat	32	0.99(100)	2.38(100)	0.54(96)	5.72(46)	0.95(28)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/120v	50	0.83(100)	0.50(100)	0.68(100)	0.01(100)	0.59(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/140v	50	1.01(100)	0.72(100)	0.84(100)	0.01(100)	0.75(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max3sat/70v	50	0.50(100)	0.45(100)	0.34(100)	0.01(100)	0.51(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max3sat/80v	50	0.54(100)	0.46(100)	0.37(100)	0.02(100)	0.46(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/160v	48	1.00(100)	0.84(100)	0.94(100)	0.01(100)	0.79(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/200v	48	1.32(100)	1.01(100)	1.20(100)	0.01(100)	1.14(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	378	800	800	796	742	656	0	0	0	0