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.