MAP Inference on UAI Inference Competition high-order cases 2022
-186,103.111EnergyToulbar2
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Toulbar2Time limit=1200s, Graph=Maxsat_mod4block_2vars_10gates_u2_autoenc, #Nodes/#Cdges=479/1235092024.11 | -186,103.111 | — | |
| Toulbar2Time limit=3600s, Graph=Maxsat_mod4block_2vars_10gates_u2_autoenc, #Nodes/#Cdges=479/1235092024.11 | -186,103.111 | — | |
| Toulbar2Time limit=1200s, Graph=Maxsat_gss-25-s100, #Nodes/#Cdges=31931/961112024.11 | -145,969.06 | — | |
| Toulbar2Time limit=3600s, Graph=Maxsat_gss-25-s100, #Nodes/#Cdges=31931/961112024.11 | -145,969.06 | — | |
| NEUROLIFTINGGraph=Maxsat_gss-25-s100, #Nodes/#Cdges=31931/961112024.11 | -139,904.266 | -139,914.341 | |
| Toulbar2Time limit=1200s, Graph=Maxsat_mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535, #Nodes/#Cdges=352/24922024.11 | -3,863.259 | — | |
| Toulbar2Time limit=3600s, Graph=Maxsat_mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535, #Nodes/#Cdges=352/24922024.11 | -3,863.259 | — | |
| Toulbar2Time limit=3600s, Graph=Maxsat_mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520, #Nodes/#Cdges=339/24162024.11 | -3,737.076 | — | |
| Toulbar2Time limit=1200s, Graph=Maxsat_mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520, #Nodes/#Cdges=339/24162024.11 | -3,734.627 | — | |
| NEUROLIFTINGGraph=Maxsat_mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535, #Nodes/#Cdges=352/24922024.11 | -3,686.567 | -3,686.085 | |
| NEUROLIFTINGGraph=Maxsat_mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520, #Nodes/#Cdges=339/24162024.11 | -3,511.994 | -3,511.822 | |
| Toulbar2Time limit=3600s, Graph=BN-nd-250-5-10, #Nodes/#Cdges=250/2502024.11 | 154.61 | — | |
| Toulbar2Time limit=1200s, Graph=BN-nd-250-5-10, #Nodes/#Cdges=250/2502024.11 | 155.129 | — | |
| NEUROLIFTINGGraph=BN-nd-250-5-10, #Nodes/#Cdges=250/2502024.11 | 189.395 | 187.729 | |
| NEUROLIFTINGGraph=Maxsat_mod4block_2vars_10gates_u2_autoenc, #Nodes/#Cdges=479/1235092024.11 | 146,166.62 | -146,166.797 |