枝豆(@ek_bm)/2021年08月10日

枝豆

@ek_bm

いいね数 318,604/239,302
フォロー 428　フォロワー 553　ツイート 5,744
現在地 畑

Favolog ホーム » @ek_bm » 2021年08月10日

« 次の日| 前の日 »

並び順 : 新→古 | 古→新

2021年08月10日(火)

SP1 @SP1_winter

21年8月10日

ひどいバトルシップしか作ってなかったな...(ところで解けるのこれ)

タグ：

posted at 23:53:17

semiexp @semiexp

21年8月10日

いや、これ単に最適化がかかってなかっただけっぽくて、MiniSat で release の下にあるものを実行したら逆に Glucose より少し速い…

タグ：

posted at 23:45:38

非公開

タグ：

posted at xx:xx:xx

semiexp @semiexp

21年8月10日

平均 5 倍速くなるとかならさっさと Glucose に切り替えたほうがよさそう

タグ：

posted at 23:42:50

semiexp @semiexp

21年8月10日

これまじめにベンチとったほうがよさそうだな

タグ：

posted at 23:42:19

semiexp @semiexp

21年8月10日

適当に手元にあった SAT インスタンスを Glucose に突っ込んだら MiniSat の 7 倍くらい速く解いてきた

タグ：

posted at 23:41:39

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

21年8月10日

ブラストシティは扉とかコンパネとかが若干重い？気がしてなんとなく取り扱いに苦手感。

タグ：

posted at 23:06:19

さやちぃ。"23 @88cyi

21年8月10日

miitopiaって見て盤面に矢印があるパズルの名前だと思った

タグ：

posted at 22:54:54

semiexp @semiexp

21年8月10日

Glucose はかなり MiniSat に近いので改造しやすそう

タグ：

posted at 21:11:45

ぽっつ @pots_orange

21年8月10日

#PUZZLE #ふくめん算
ある夏の日の思い出(写真は富津岬)

　あるなつのひ
＋あるなつのひ
おもひであるよ pic.twitter.com/5YHYYH00h3

タグ： PUZZLE ふくめん算

posted at 17:46:08

TokusiN @toku51n

21年8月10日

今日は軽めの桂馬配置。
pzv.jp/p.html?numlin/...
#今日のナンリン

タグ：今日のナンリン

posted at 17:44:13

非公開

タグ：

posted at xx:xx:xx

アイ @tigereye_werewe

21年8月10日

@pawakun ありがとうございます、精進します

タグ：

posted at 16:26:02

Tad Komori @pawakun

21年8月10日

@tigereye_werewe はい

タグ：

posted at 16:24:25

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

21年8月10日

#Post-PGP Round6 (USA)
7/11-16
twitter.com/pawakun/status...
12位
たぶんまだ呟いてなかったよね。Postは楽しいんだけどきっついねん。時間に余裕がある季節ならじっくり全問行きたいんだけども pic.twitter.com/BwvIz9YQfS

タグ： Post

posted at 16:21:24

アイ @tigereye_werewe

21年8月10日

Yajilin誤答しちゃってた、アンサーキーミスっぽい感じでした？

タグ：

posted at 16:18:57

Tad Komori @pawakun

21年8月10日

Pre-PGP形式の大会の運営、人数いないとキッツい…(というか各工程が初めてだとかなりめんどくさい)

タグ：

posted at 16:07:02