Table 2.

NSS Proof Checking, without extension (in bold the fastest version)

Multiplier	n	Nuss-Checker			LPAC simulates NSS
		Steps			Steps	Pacheck 2.0		Pastèque 2.0
			sec	MB		sec	MB	sec	MB
btor	128	1	2	18	1	2	98	53	2044
btor	256	1	8	71	1	7	385	762	8819
btor	512	1	41	295	1	35	1555	14,347	41,712
sp-ar-rc	128	1	3	24	1	2	142	80	2845
sp-ar-rc	256	1	13	95	1	10	561	1181	12,275
sp-ar-rc	512	1	67	392	1	48	2261	21,543	51,415