■

S式バトラーは結局、「battle-main手続きが終了したらペナルティを与える」ように仕様変更した。
この仕様変更により、最短のS式は「(define (battle-main) (battle-main))」となり、最大で約10秒ぐらいになった。それでも長いが。
eval-svがかなり重いという事が明白になってしまった。