List your company
ResearchFormerly WizWand

Constraint satisfaction on ZL-XL

97.3AccuracyDS-R1-0528+ASP
35.62851.63967.6583.661Apr 30, 2026
Updated 6mo ago

Evaluation results

MethodLinks
DS-R1-0528+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.0497.3
Gemini 2.5 Pro+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.0496.7
o4-mini+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.0495
o4-miniInference Pipeline=Baseline2026.0488.7
Gemini 2.5 Flash+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.0484.3
DS-R1-0528Inference Pipeline=Baseline2026.0483
Gemini 2.5 ProInference Pipeline=Baseline2026.0474.7
DS-V3+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.0469
DS-V3Inference Pipeline=Baseline2026.0442
Gemini 2.5 FlashInference Pipeline=Baseline2026.0438