やったこと

日常

先週から引き続き疲労感がある。
休みたい‥‥。

MD

あまりやっていなかったので少しだけやってダイヤ4にはした。
この段階だったらライゼオルに閃刀天盃で抗えるんだけどなぁ。

SATソルバ

lubyシーケンスにリスタートを実装してみていた。
なぜか実装がバグっていたときだけ高速化されていて、挙動が分からなかったので採用に至っていない。
COMiniSatPSにある、glucose風のリスタートと回数のリスタートの戦略を交互にやるやつにしてみるか、と考えている。