An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks

Table 2

Petrinizer and TSE combine with the other tools. For each suite, we focus on the instance that Petrinizer or TSE are unsolved, but the combined tool is solved, then present the total number of solved instances. All data are under taking the sum of the instances that Petrinizer or TSE can solve and the disjoint instances that the other tools can solve.

	Petri (29)	Medical (12)	Bug-tr (41)	Wa-kr (46)	Soter (50)	Total (178)
Petrinizer	21	4	33	46	43	147
Petrinizer + MIST	29	12	33	46	47	167
Petrinizer + BFC	27	4	33	46	49	159
Petrinizer + IIC	29	9	33	46	47	164
Petrinizer + TTSCov	29	12	41	46	49	177
TSE	19	4	33	46	44	146
TSE + MIST	29	12	33	46	47	167
TSE + BFC	27	4	33	46	49	159
TSE + IIC	29	9	33	46	47	164
TSE + TTSCov	29	12	41	46	49	177