Solver	#Ins.	CCLS	iraNovelty++	SAT4Jms-ext-i	SAT4Jms-int-i	optimax-it
highgirth/3sat	50	27.32(49)	92.90(42)	0.00(0)	0.00(0)	0.00(0)
highgirth/4sat	32	16.62(28)	25.01(31)	0.00(0)	0.00(0)	0.00(0)
max2sat/120v	50	2.30(50)	45.95(35)	0.00(0)	0.00(0)	0.00(0)
max2sat/140v	50	2.79(50)	83.22(22)	0.00(0)	0.00(0)	0.00(0)
max3sat/70v	50	1.72(50)	4.71(50)	0.00(0)	0.00(0)	0.00(0)
max3sat/80v	50	1.86(50)	3.72(50)	0.00(0)	0.00(0)	0.00(0)
min2sat/160v	48	2.90(48)	12.24(46)	0.00(0)	0.00(0)	0.00(0)
min2sat/200v	48	3.65(48)	37.27(41)	0.00(0)	0.00(0)	0.00(0)
Total	378	373	317	0	0	0