From Alice: Sell
From Bob: Sell
From Charlie: Sell
From David: Buy
From CLOCK:  2 seconds passed.
From CLOCK:  4 seconds passed.
From CLOCK:  6 seconds passed.
From CLOCK:  8 seconds passed.
From CLOCK: 10 seconds passed.
From AUTOMATION: Match(Sell: Bob, Buy David)