exp03_conjuncts

This analysis is based on the dataset 2018-06-12_exp03. (In short: It only used the file array-examples/standard_copyInitSum2_false-unreach-call_ground.i) (budget=1000,timeout=30, seed=123)

	runs	programs
random-uniform	8000	490
random-uniform-batch	8000	866

The counts:

	incomplete	unsound	disagreement	unsound-klee-cbmc	unsound-klee-cbmc-smack
random-uniform	1	8	116	97	5
random-uniform-batch	0	31	325	202	0

All incompleteness/unsound cases were caused by smack, no surprise there.