Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Integer Programming Branching on NNVerify official (test)
Loading...
34.54
Time
LLM4Branch
24.6736
91.2718
157.87
224.4682
May 11, 2026
Time
Nodes Explored
Wins
Updated 22d ago
Evaluation Results
Method
Method
Links
Time
Nodes Explored
Wins
LLM4Branch
Hardware=CPU
2026.05
34.54
1,014.08
29
MLP
Hardware=CPU, Type=Neu...
2026.05
37.26
829.01
21
GNN-GPU
Hardware=GPU, Type=Gra...
2026.05
44.82
1,716
75
RPB
Hardware=CPU, Type=Hum...
2026.05
66.29
1,744.58
4
Symb4CO
Hardware=CPU, Type=Sym...
2026.05
68.69
1,809.3
15
Hybrid
Hardware=CPU
2026.05
84.33
2,109.75
11
GNN
Hardware=CPU, Type=Gra...
2026.05
265.64
1,217.8
0
FSB
Hardware=CPU, Type=Hum...
2026.05
281.2
617.64
0
Feedback
Search any
task
Search any
task
