Hi Akihisa, and all,
some complexity jobs are started.
Thanks for putting in the work. I am looking forward to the competition. I regret I can't be in Haifa/at WST.
I encourage participants, and observers, to comment on what they are seeing - to let remote participants in on some of the fun.
For example, for the complexity categories, I noticed several "new" results for Aprove-2021, and I thought - how can that be, since Aprove (if it's really -2021, yes it is, config id matches) should have got them last year as well?
It turns out that all of these new results are obtained at 295 seconds (or later), so it is noise in the timing (in Aprove, in JVM, in bench/star-exec) that makes the difference here?
It's fine - other (sports) competitions are stochastic as well.
- J.