返信 2026-02-09 Mon 21:59:06 No.14019222

To be fair in the solver test suite it is about 30-40% faster. But I just realized the problem:

The solver evaluation test suite has minimized test cases where the package universe only contains the packages reachable from the "root" set.

So it contains significantly fewer literals and clauses, and overly benefits from the cache locality because they now get more into paging area.

This also explains why my switch to a newVar() scheme showed no improvements - I always added all packages...

返信 2026-02-09 Mon 21:51:10 No.14019193

■あなたが猫を飼わない理由は？

猫は可愛い、癒し、散歩いらず。

2026-02-09 Mon 21:52:02 No.14019198

ペット禁止

2026-02-09 Mon 21:54:17 No.14019209

飼ってますお
でも4日に一回ぐらいしか姿見せないけど

2026-02-09 Mon 21:57:32 No.14019218

燐家の猫がたまに俺の家の庭に入り込んで来て、俺がいると懐いてくる　俺は飼い主じゃないのに

返信 2026-02-09 Mon 21:57:08 No.14019216

…HIIHさんの名曲『feels like “HEAVEN”』
こんなに爽やかな曲なのに、なぜか怖く感じるよね〜。（…私のせいか笑）
「くる～きっとくる～」って歌詞に聞こえるけど、ホントは「Oooh～きっとくる～」が正解なのです♪

返信 2026-02-09 Mon 21:56:53 No.14019215

返信 2026-02-09 Mon 21:56:24 No.14019214

返信 2026-02-09 Mon 20:05:07 No.14018712

https://video.twimg.com/amplify_video/2020764038632980480/vid/avc1/640x480/Zbj8KQDpxweQVC2d.mp4

2026-02-09 Mon 20:07:27 No.14018718

なんでドア開けた？

2026-02-09 Mon 20:13:19 No.14018740

これが怖いんだよすり抜けわ

2026-02-09 Mon 21:48:46 No.14019186

すり抜けそのものが違反

2026-02-09 Mon 21:52:12 No.14019200

すり抜けバカは自業自得

2026-02-09 Mon 21:55:40 No.14019213

強引な運転してるのに事故ったら被害者面するんだよな

返信 2026-02-09 Mon 21:55:31 No.14019212

返信 2026-02-09 Mon 21:55:10 No.14019211