6
-1777 -342 -766 -78 75
one-shot option
-1759 -29 -55 254 113
random testing option
-1750 293 893 616 114
iterative random testing option
-1741 645 201 909 115
manua multi-shot option
-1732 977 465 1222 118
automatic multi-shot option
-1759 1280 510 1544 118
randomize batch list option
0
