Index of /symcc-report/diagrams/report/
../
src/ 30-Jul-2026 08:35 -
fig-r1-challenges.png 30-Jul-2026 08:51 171K
fig-r1-challenges.svg 30-Jul-2026 08:51 7562
fig-r10-site-id.png 30-Jul-2026 08:51 302K
fig-r10-site-id.svg 30-Jul-2026 08:51 9687
fig-r11-solve-cost-layers.png 30-Jul-2026 08:51 275K
fig-r11-solve-cost-layers.svg 30-Jul-2026 08:51 10K
fig-r12-query-ir.png 30-Jul-2026 08:51 248K
fig-r12-query-ir.svg 30-Jul-2026 08:51 13K
fig-r13-tech-families.png 30-Jul-2026 08:51 208K
fig-r13-tech-families.svg 30-Jul-2026 08:51 8860
fig-r14-evidence-grades.png 30-Jul-2026 08:51 148K
fig-r14-evidence-grades.svg 30-Jul-2026 08:51 6079
fig-r15-headline-forest.png 30-Jul-2026 08:51 110K
fig-r15-headline-forest.svg 30-Jul-2026 08:51 9721
fig-r16-eval-groups.png 30-Jul-2026 08:51 112K
fig-r16-eval-groups.svg 30-Jul-2026 08:51 11K
fig-r17-symsan-6targets.png 30-Jul-2026 08:51 125K
fig-r17-symsan-6targets.svg 30-Jul-2026 08:51 11K
fig-r18-solver-switches.png 30-Jul-2026 08:51 130K
fig-r18-solver-switches.svg 30-Jul-2026 08:51 9088
fig-r19-sota-boundary.png 30-Jul-2026 08:51 161K
fig-r19-sota-boundary.svg 30-Jul-2026 08:51 9621
fig-r2-scale.png 30-Jul-2026 08:51 126K
fig-r2-scale.svg 30-Jul-2026 08:51 6662
fig-r20-roadmap.png 30-Jul-2026 08:51 289K
fig-r20-roadmap.svg 30-Jul-2026 08:51 9020
fig-r21-lava-ablation.png 30-Jul-2026 08:51 132K
fig-r21-lava-ablation.svg 30-Jul-2026 08:51 7027
fig-r3-timeline.png 30-Jul-2026 08:51 179K
fig-r3-timeline.svg 30-Jul-2026 08:51 11K
fig-r4-modules.png 30-Jul-2026 08:51 540K
fig-r4-modules.svg 30-Jul-2026 08:51 18K
fig-r5-artifacts.png 30-Jul-2026 08:51 459K
fig-r5-artifacts.svg 30-Jul-2026 08:51 17K
fig-r6-layers.png 30-Jul-2026 08:51 280K
fig-r6-layers.svg 30-Jul-2026 08:51 8130
fig-r7-trust-boundary.png 30-Jul-2026 08:51 295K
fig-r7-trust-boundary.svg 30-Jul-2026 08:51 12K
fig-r8-mpi-protocol.png 30-Jul-2026 08:51 261K
fig-r8-mpi-protocol.svg 30-Jul-2026 08:51 9322
fig-r9-engine-abstraction.png 30-Jul-2026 08:51 248K
fig-r9-engine-abstraction.svg 30-Jul-2026 08:51 8820