dev-0.19.0 by shnarazk · Pull Request #307 · shnarazk/splr

shnarazk · 2026-03-14T12:21:03Z

O(1) Luby iterator #207 (https://github.com/shnarazk/LubySequence)
Clause reduction may remove clauses that are stored in Var:saved_reason! Ouch! #310
revise orchestration of clause elimination/reduction/vivification based on the new LubySequence-dviven restart policy An orchestration of Luby restart, re-phasing selection and decision literal selection 20250507 #328
- set FlagClause::ASSIGN_REASON at/around propagate_by_implication
Implement focused search mode like Kissat #314 -> Hotspot seeker 20260331 #315

The target line defined by Kissat

solver,       num,                       target,     time
"kissat",       1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_known_representation.cnf",  126.650
"kissat",       2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.cnf",    0.007
"kissat",       3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.normalised.cnf", 1065.746
"kissat",       4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.cnf",  TIMEOUT
"kissat",       5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf", 1120.135
"kissat",       6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.cnf",  TIMEOUT
"kissat",       7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf", 1116.055
"kissat",       8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87.cnf",  650.169
"kissat",       9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.cnf",    0.696
"kissat",      10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf",   15.028
"kissat",      11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.cnf",    0.018
"kissat",      12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6.sanitized.cnf",  TIMEOUT
"kissat",      13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf",  528.235
"kissat",      14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cnf",   23.596
"kissat",      15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf",  405.921
"kissat",      16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf",   26.040
"kissat",      17,              "sc2025(13/16)", 4378.523
# med:   126.650, max:  1120.135,total except 3 timeouts: 5078.296

The old target

# ~/.cargo/bin/splr (0.19.0-rc2) @ 2026-03-19T19:34:20
solver,       num,                       target,     time
"splr",         1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_known_representation.cnf",  TIMEOUT
"splr",         2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.cnf",    0.678
"splr",         3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.normalised.cnf",  TIMEOUT
"splr",         4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.cnf",  TIMEOUT
"splr",         5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf",  239.209
"splr",         6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.cnf",  TIMEOUT
"splr",         7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf",  TIMEOUT
"splr",         8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87.cnf", 1445.579
"splr",         9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.cnf",    0.680
"splr",        10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf",   44.637
"splr",        11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.cnf",    0.011
"splr",        12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6.sanitized.cnf",  TIMEOUT
"splr",        13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf",  TIMEOUT
"splr",        14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cnf", 1255.024
"splr",        15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf",  TIMEOUT
"splr",        16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf",  183.734
"splr",        17,               "sc2025(8/16)",19169.793
med:       114.186, max:  1445.579, total except 8 timeouts: 3169.552
[I] ~/Reposi/splr (dev-0.19.0|)

The best in this branch so far

36ff02c

"splr"    ,  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno",  TIMEOUT
"splr"    ,  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",    0.688
"splr"    ,  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",   72.704
"splr"    ,  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c",  TIMEOUT
"splr"    ,  5, "4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf",  142.824
"splr"    ,  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.",  TIMEOUT
"splr"    ,  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   ,  TIMEOUT
"splr"    ,  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87", 1614.967
"splr"    ,  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",    0.012
"splr"    , 10,   "9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf",  243.219
"splr"    , 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",    0.013
"splr"    , 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6",  TIMEOUT
"splr"    , 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     ,  TIMEOUT
"splr"    , 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn", 1303.459
"splr"    , 15,            "e2d2b011b0805782df6adba648db92e8-59-129706.cnf", 1135.450
"splr"    , 16,        "f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf",  370.608
med:   193.022, max:  1614.967,total except 6 timeouts: 4883.944

- Switch to the O(1) Luby iterator. Now Luby sequence is used for - trigger for restarts, clause elimination, and clause vivification - clause DB size after clause reduction - `ClauseDBIF::reduce` can run at any decision level, and runs every 40,000 conflicts

* feat: pass cdb to all relevant functions * feat(reduce): switch to FlagClause-based implementation

shnarazk · 2026-05-07T22:49:07Z

[`76ba255`]

num,target                                                      ,    time
  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", TIMEOUT
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.023
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma", 931.811
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" ,1255.943
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87", 544.623
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.677
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 140.995
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.020
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn", 533.244
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            , 474.150
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 222.765
"splr"    , med:   348.457, max:  1255.943,total except 6 timeouts:4104.251

shnarazk · 2026-05-10T00:42:04Z

[`70db29d`]

  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", 752.020
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.682
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",  99.689
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" , TIMEOUT
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87",1499.041
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.677
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 137.874
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.024
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn",2267.362
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,2097.349
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 304.948
"splr"    , med:   221.411, max:  2267.362,total except 6 timeouts:7159.666

shnarazk · 2026-05-14T23:38:57Z

[`4ba2d8a`]

  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", 296.252
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.016
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",  76.896
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" ,1000.739
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87", TIMEOUT
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.017
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   ,  75.386
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.016
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn",  72.590
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,1616.108
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 298.476
"splr"    , med:    76.141, max:  1616.108,total except 6 timeouts:3436.496

shnarazk · 2026-05-15T08:15:48Z

[`548e6be`]

  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", 331.724
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.030
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma", 112.226
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" , 993.977
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87",1620.298
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.671
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 102.131
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.015
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn", 718.825
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,1754.016
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 325.342
"splr"    , med:   325.342, max:  1754.016,total except 5 timeouts:5959.255

🎉

shnarazk · 2026-05-18T23:03:10Z

[`2953a81`] + vrw = 0.5

num,target                                                      ,    time
  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", 417.609
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.675
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",  69.135
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" , 782.170
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87", 841.338
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.675
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 171.153
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.016
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn",1246.355
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,1556.662
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 645.885
"splr"    , med:   417.609, max:  1556.662,total except 5 timeouts:5731.673

shnarazk · 2026-05-19T03:02:02Z

[`2953a81`]

num,target                                                      ,    time
  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", 260.038
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.788
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",  71.240
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" , 864.363
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87", 857.507
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.014
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 151.482
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.016
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     ,4914.018
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn", 473.643
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,1426.239
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 491.114
"splr"    , med:   366.841, max:  4914.018,total except 4 timeouts:9510.462

🎉 🎉

chore: open PR

644a0a8

shnarazk self-assigned this Mar 14, 2026

shnarazk linked an issue Mar 14, 2026 that may be closed by this pull request

O(1) Luby iterator #207

Open

shnarazk added 3 commits March 14, 2026 21:55

feat(Luby): implement LubySequence

266408b

fix: bump version to 0.19.0-rc1

6939364

fix: add LubySegment::as_n

89e5afe

shnarazk force-pushed the dev-0.19.0 branch from acf4393 to 89e5afe Compare March 14, 2026 13:04

shnarazk linked an issue Mar 14, 2026 that may be closed by this pull request

ROADMAP #299

Open

3 tasks

shnarazk added 19 commits March 15, 2026 08:48

refactor(luby): update stage and search (WIP)

9e2481d

Restart NG 20260317 (#308)

6a5e21b

* feat: pass cdb to all relevant functions * feat(reduce): switch to FlagClause-based implementation

refactor(luby): remove the old Luby implementation

773f324

bump version to 0.19.0-rc2

04f0542

chore(flake): add drat-trim

7fe2ce0

chore(flake): add kissat

b2035c8

chore: update flake.lock

a778070

chore: ignore *.cnf*

3b3adda

chore(direnv): add .envrc

2aa4ee9

chore: add proof.drat to .gitignore

c50f100

refactor: simplify RuductionType

9c19858

refactor: define local vars

e08063d

doc: wording

6418663

optimize(reduce): add a variation as comment

ca81944

refactor: remove feature 'two_mode_reduction'

4d83d4a

refactor: remove ReductionType

71c4973

docs: mention BT_deepen at features

1207b8f

refactor: rename reverse_activity_sum to inactivity_sum

20564d2

shnarazk linked an issue Mar 20, 2026 that may be closed by this pull request

Clause reduction may remove clauses that are stored in Var:saved_reason! Ouch! #310

Closed

shnarazk added 2 commits March 20, 2026 16:05

fix(trail_saving): clear saved_trail if an implication clause is reduced

43aab98

chore: delete obsolete comment

3323fd9

feat(tuning): tiny changes

c8a7b9a

shnarazk added new scheme import some idea on papers and removed experimental project labels May 7, 2026

shnarazk added 4 commits May 8, 2026 08:16

chore(docs): update ChangeLog.md

ab802e4

chore: use unicode symbols for PhaseRotation mnemonic

d1784a2

feat: remove feature clause_rewarding and add FlagClause::PROPAGATOR

ed321bb

feat(clause_rewarding): implement acurate clause activation counter

70db29d

feat: probably in the right direction to reduce much like kissat

a51df64

exp: tuning

f43dfd5

shnarazk force-pushed the dev-0.19.0 branch from 4ba2d8a to f43dfd5 Compare May 14, 2026 23:47

shnarazk added 3 commits May 15, 2026 11:02

feat(vivify): revise for fewer clauses

8a74ab3

exp: a snapshot

bfa4844

ditto

548e6be

shnarazk marked this pull request as ready for review May 15, 2026 08:16

shnarazk added 3 commits May 15, 2026 17:27

chore: revise documents

e36d8c9

refactor: rename OrderedProxy to SortKey

16066c9

feat(vivification): simplify

ea77632

shnarazk force-pushed the dev-0.19.0 branch from 6e8b368 to ea77632 Compare May 15, 2026 15:04

feat(reduction): redefine FlagClause::YOUNG

8ba2365

shnarazk force-pushed the dev-0.19.0 branch from 2f9279a to 8ba2365 Compare May 17, 2026 23:29

shnarazk added 2 commits May 18, 2026 22:38

feat(vivify): skip young clauses

013a024

feat: quick rotation of rephase, set learning rate based on Luby span

2953a81

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

dev-0.19.0#307

dev-0.19.0#307
shnarazk wants to merge 130 commits into
mainfrom
dev-0.19.0

shnarazk commented Mar 14, 2026 •

edited

Loading

Uh oh!

shnarazk commented May 7, 2026

Uh oh!

shnarazk commented May 10, 2026

Uh oh!

shnarazk commented May 14, 2026

Uh oh!

shnarazk commented May 15, 2026

Uh oh!

shnarazk commented May 18, 2026 •

edited

Loading

Uh oh!

shnarazk commented May 19, 2026 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

shnarazk commented Mar 14, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

The target line defined by Kissat

The old target

The best in this branch so far

Uh oh!

shnarazk commented May 7, 2026

[76ba255]

Uh oh!

shnarazk commented May 10, 2026

[70db29d]

Uh oh!

shnarazk commented May 14, 2026

[4ba2d8a]

Uh oh!

shnarazk commented May 15, 2026

[548e6be]

Uh oh!

shnarazk commented May 18, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

[2953a81] + vrw = 0.5

Uh oh!

shnarazk commented May 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

[2953a81]

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

shnarazk commented Mar 14, 2026 •

edited

Loading

[`76ba255`]

[`70db29d`]

[`4ba2d8a`]

[`548e6be`]

shnarazk commented May 18, 2026 •

edited

Loading

[`2953a81`] + vrw = 0.5

shnarazk commented May 19, 2026 •

edited

Loading

[`2953a81`]