List your company

Mathematical Reasoning on MATH 500 (Speedup, Avg Accepted Length)

9.64SpeedupJetFlow
1.93363.93435.9357.9357Jun 16, 2026

Evaluation results

MethodLinks
JetFlowBudget=256, Temperature=02026.069.6410.76
JetFlowBudget=128, Temperature=02026.068.939.95
DFlash-TBudget=256, Temperature=02026.068.789.81
DFlash-TBudget=128, Temperature=02026.068.279.19
JetFlowBudget=256, Temperature=12026.067.839.01
JetFlowBudget=128, Temperature=12026.067.398.36
DFlash-TBudget=256, Temperature=12026.067.18.13
DFlash-TBudget=128, Temperature=12026.066.797.6
JetFlowBudget=64, Temperature=02026.066.767.42
DFlash-TBudget=64, Temperature=02026.066.517.16
JetFlowBudget=64, Temperature=12026.065.976.6
DFlash-TBudget=64, Temperature=12026.065.686.26
EAGLE-3Budget=64, Temperature=02026.062.364.13
EAGLE-3Budget=64, Temperature=12026.062.234