diff --git a/basice2e/registration.json b/basice2e/registration.json index 5b9f6aa5d4dae56d1e23a915cc4ce665dc88154d..1205075ffa93572ea38a994d6dbb73b80622b061 100644 --- a/basice2e/registration.json +++ b/basice2e/registration.json @@ -1,14 +1,14 @@ { - "TeamSize": 5, - "PrecomputationTimeout": 30000, - "RealtimeTimeout": 15000, - "DebugTrackRounds": true - "BatchSize": 32, - "MinimumDelay": 3000, - "RealtimeDelay": 5000, - "SemiOptimalOrdering": true, - "Secure": true, - "Threshold": 0.3, - "NodeCleanUpInterval": 3, - "ResourceQueueTimeout": 300000 + "TeamSize": 5, + "PrecomputationTimeout": 30000, + "RealtimeTimeout": 15000, + "DebugTrackRounds": true, + "BatchSize": 32, + "MinimumDelay": 3000, + "RealtimeDelay": 5000, + "SemiOptimalOrdering": true, + "Secure": true, + "Threshold": 0.3, + "NodeCleanUpInterval": 3, + "ResourceQueueTimeout": 300000 }