Yes, 10000 contracts is a mini lot, not a micro lot. A micro lot is 1000 contracts.

AssetsFix.dta is set up for a micro lot EUR account with 100:1 leverage. Your IBFX account might give different test results. The easiest way to simulate your specific account is just generating an individual AssetsFix.dta.

Use the Download.c script for this. Enable the loop with all assets, click [Trade], and wait until the assets are downloaded, then click [Stop]. You now have a new Assets.dta specific for your account. You can find details about that procedure under "Data Import". Make sure before to remove the assets from the loop that are not supported by IBFX.