問題は裁判官がプログラムを判断しなかった事だろ？

見積の問題もあるだろうが。