[Smtcomp-discussion] a day to go

[David C. <dc...@gr...>]

David, Tjark,

Thanks for all your work to date.
- I created sample selections and spaces with David's programs
- With Clark doing much of the work, I've validated that we have a 
working postprocessor
- The SL community has their benchmarks and preprocessors ready

We're almost ready:
- Tjark - let me know as soon as you are confident the scramble is 
working as a preprocessor
- David [as a competitor] I need from you the final set of logics in 
which you are participating and your final solver
- I have a bit of work to finish on the difficulty computations
- I will be accumulating the final solvers on Sunday as they are submitted
- I will set up the spaces and jobs as soon as we get a seed on Monday 
morning
- I have a bit of work to do on the display of results (accumulating 
across heaps)

Then:
- I will be monitoring the jobs and adding heats as time is available
- Tjark: we'll have time then to complete the work on the application 
executor

Later there will be some presentation and report preparation to do.

- David