← back to paper

Review history

arxiv: 2605.16820 · 2 revisions

Satisfiability Modulo Extensional Constant Arrays (Extended Version)

1. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 7.0
   44800 ms 5719 in 1071 out 2026-05-20T15:28:43.686806+00:00
2. 2026-05-19 UNVERDICTED LOW v0.9.0 novelty 7.0
   57117 ms 5719 in 1186 out 2026-05-19T19:47:50.851350+00:00