Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml | SAT | 8 | 0.092681 | 0.093847 | 4302151 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml | ? | 17.0115 | 17.0204 | 4301686 | |
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml | ? | 28.3974 | 28.4098 | 4301662 | |
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml | ? | 29.6342 | 29.6353 | 4301698 | |
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml | ? | 34.2415 | 34.247 | 4301689 | |
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml | ? | 37.805 | 37.8071 | 4301656 | |
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml | ? | 60.5144 | 60.5145 | 4301674 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
GraphColoring/ GraphColoring-qg-order100_c18.xml | ? (MO) | 69.8625 | 69.8813 | 4301380 | |
PeacableArmies/ PeacableArmies-m1-50_c18.xml | ? (MO) | 101.646 | 101.638 | 4301980 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml | Signal 11 | 0.011444 | 0.705747 | 4302256 |