Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

Table 4

Runtime comparison between PicoSAT (SAT) and TraceCheck (Check) for benchmarks of the 2008 SAT-Race_TS_1.

cnf instance	Size of cnf	SAT	Check	Factor
	[Vars × Clauses]	[s]	[s]
een-tip-sr06-par1	163647 × 484827	6.412	0.024	267
een-tipb-sr06-tc6b	40196 × 115775	3.028	0.012	252
godlb-heqc-desmul	28902 × 179895	75.697	1.512	50
goldb-heqc-rotmul	5980 × 35229	31.458	2.272	13
hooons-vbmc-s04-05	8503 × 25097	11.065	1.536	7
hooons-vbmc-s04-07	25900 × 77627	158.294	8.557	18
manol-pipe-c10b	43517 × 129265	87.937	1.075	81
manol-pipe-c10ni_s	204664 × 609478	255.584	0.004	63896
manol-pipe-c6id	82022 × 242044	5.460	0.052	105
manol-pipe-c6n	37147 × 110077	49.547	0.820	60
manol-pipe-c6nid_s	148051 × 438562	5.528	0.020	276
manol-pipe-c7_i	13023 × 38509	17.685	0.292	60
manol-pipe-c7idw	112620 × 333058	131.444	1.412	93
manol-pipe-c8_i	14052 × 41596	74.433	2.028	36
manol-pipe-c8b_i	32057 × 95005	13.485	0.256	52
manol-pipe-c8n	53697 × 159595	111.351	1.988	56
manol-pipe-f6b	37002 × 109570	6.672	0.328	20
manol-pipe-f6n	37452 × 110920	7.500	0.236	31
manol-pipe-g10idw	174122 × 516784	141.241	1.964	71
manol-pipe-g6bid	40371 × 118192	5.272	0.112	47
manol-pipe-g7n	23936 × 70492	5.784	0.248	23
narai_vpn-10s	2270930 × 8901946	306.335	0.368	832
schup-l2s-s04-abp4	14809 × 48429	67.528	7.896	8
velev-npe-1.0-02	3295 × 35407	23.577	3.748	6
velev-sss-1.0	1453 × 12526	20.741	3.744	5