前回: mhiroaki.hatenablog.com データセット生成の高速化 方法 入力の型(e.g., [Int], [List], [Int, List, List])ごとに別スレッドでdfsすることで高速化 入力の型が異なるプログラム同士はequivalenceの判定を省いているので、データ競合なく並列化が可能…