Table 3.

LPAC Proof Checking (in bold the fastest version)

Multiplier	n	LPAC simulates PAC					LPAC
		Steps	Pacheck 2.0		Pastèque 2.0		Steps	Pacheck 2.0		Pastèque 2.0
		(${10}^6$)	sec	MB	sec	MB	(${10}^6$)	sec	MB	sec	MB
btor	128	0.3	5	94	14	1305	0.1	2	94	7	1305
btor	256	1.3	26	367	67	3467	0.3	8	367	37	3816
btor	512	5.2	149	1468	351	14,651	1.0	37	1,496	238	16,173
sp-ar-rc	128	0.4	5	137	15	1330	0.1	2	137	8	1330
sp-ar-rc	256	1.6	28	543	72	5709	0.6	11	543	34	5709
sp-ar-rc	512	6.3	145	2174	381	34,327	2.4	46	2173	180	34,327
sp-ar-cl	32	1.6	17	445	88	69 11	0.7	10	198	40	2104
sp-dt-lf	32	0.3	2	80	8	857	0.2	1	39	4	383
bp-ct-bk	32	0.2	1	54	5	662	0.1	1	27	2	268
bp-wt-cl	32	5.5	144	2250	646	36,224	2.4	88	1094	292	10,489