replace the in-code timeout param with the AWS Lambda timeout config

[santolucito]

SequencerLiveCoding/serverless/index.js

Line 19 in d5f087c

sygusOutput = execSync(cvc4Command, { timeout: timeoutLength * (1000), detached: true, killSignal: 'SIGKILL' }).toString();

the timeout in AWS is much easier to reconfigure than needing to upload a new lambda everytime.

Need to check what happens when a lambda timeouts in

SequencerLiveCoding/serverSide/callServerlessCVC5.js

Line 14 in d5f087c

var result = await lambda.invoke(params).promise();

does it thrown an exception, or do we need to more carefully handle whatever value we get back when a Lambda times out

[takumh]

based on this frequency table generated from user data, the optimal timeout is 3 seconds because maximum frequency is recorded between 0 and 3 seconds.