Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
CSG	10	11.49(6)	24.24(10)	35.04(10)
auctions/auc-paths	86	40.99(76)	40.49(22)	26.36(18)
rafted/auctions/auc-scheduling	84	63.78(83)	3.20(53)	4.02(53)
min-enc/planning	56	1.99(53)	1.58(56)	1.63(56)
min-enc/warehouses	18	16.49(18)	0.69(1)	0.77(1)
pseudo/miplib	12	5.73(8)	3.60(3)	3.77(3)
random-net	74	31.37(38)	0.00(0)	0.00(0)
Total	340	282	145	141