枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2023年03月15日(水)
バックエンドを CaDiCaL に変えて実験してみたけど、概ね Glucose より速そう？non-clausal constraint に対応させるためにすべてを理解しないといけないというかなり大きな問題があるけど
タグ：
posted at 22:39:49
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
EP vs Claim Bonusボタン
2020PGP8 ×(2誤答)
2021PGP3 △(1誤答)
2021SGP4 ×(2誤答)
2022PGP1 △(1誤答)
2022SGP3 ×(1誤答)
2022PGP5 ○
2022PGP6 △(1誤答)
2023PGP1 ×(1誤答)
2023PGP2 ○
2023SGP3 ○ (New!!)
10戦3勝7敗 (0.300)
タグ：
posted at 14:24:41
SGP: 初手思い切って行ったBattenberg Little Killerで思ったより進むや〜んとやってたら終盤で埋めミスして全消し、20分飛ばす。一応その後全体的に難易度そこまででもないなと気付いてDiagonal Irregularも取りに行けたのはよかった。
タグ：
posted at 10:22:20
睡魔と戦いながら参加したGPは完答できませんでした･･･。Diagonal が2分足りず。Little Killer のパリティ決めで3回破綻して出題ミスを疑っていたら単なる自分の勘違いで悲しくなりました。
タグ：
posted at 09:59:21
日本にある市、全滅
#如月の集い
#晩飯に口紅を twitter.com/saikoro2357/st...
posted at 00:13:55
