7 Aug
2022
7 Aug
'22
15:34
Dear Johannes, and all,
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?
last evening SMT-comp organizers informed me that StarExec machines are renewed. I guess this resulted in former timeouts to turn to success. (It was also quicker than I expected.)
I'll confirm this with Aaron.
Best, Akihisa
It's fine - other (sports) competitions are stochastic as well.
- J.
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de