Dear Johannes, René, interesting. The postproc should be using the ceta binary release. Can compilation option/environment make such a difference? Best, Akihisa On 7/27/2022 8:15 PM, Johannes Waldmann wrote:
Dear Akihisa,
for SRS-Standard (certified), for several benchmarks, example ICFP_2010/4991.xml, these results are displayed:
- matchbox: "YES (without \checkmark)" https://www.starexec.org/starexec/services/jobs/pairs/567222906/stdout/1?lim...
- ttt2: "post-processor error" (post processor timeout after 15 min) https://www.starexec.org/starexec/services/jobs/pairs/567222903/log
these are logically the same thing? (both did produce a certificate?)
Ah - noh, for matchbox, the certifier did not time-out, but "certification-err Stack space overflow: current size 8388608..."
Locally, I am not getting this error (certification succeeds in 50 seconds for matchbox' certificate, 55 seconds for ttt2's) I am using ceta-postproc (contains CeTA-2.42) compiled with ghc-9.0.2
- Johannes.
_______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de