Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml | SAT | 8 | 0.094319 | 0.095153 | 4296020 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml | ? | 16.8592 | 16.86 | 4293951 | |
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml | ? | 28.4178 | 28.4168 | 4293919 | |
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml | ? | 29.9215 | 29.9313 | 4293967 | |
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml | ? | 34.0135 | 34.0205 | 4293955 | |
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml | ? | 37.9369 | 37.9368 | 4293911 | |
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml | ? | 60.7082 | 60.7031 | 4293935 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
GraphColoring/ GraphColoring-qg-order100_c18.xml | ? (MO) | 70.579 | 70.6023 | 4293219 | |
PeacableArmies/ PeacableArmies-m1-50_c18.xml | ? (MO) | 101.073 | 101.119 | 4295216 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml | Signal 11 | 0.011568 | 0.383121 | 4296295 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
StripPacking/ StripPacking-1b_c18.xml | ? (NS) | 0.016349 | 0.0171349 | 4293140 | |
StripPacking/ StripPacking-1a_c18.xml | ? (NS) | 0.018231 | 0.018775 | 4293185 | |
StripPacking/ StripPacking-C1P1_c18.xml | ? (NS) | 0.022437 | 0.023084 | 4293167 | |
StripPacking/ StripPacking-C1P3_c18.xml | ? (NS) | 0.023064 | 0.0232589 | 4293122 | |
StripPacking/ StripPacking-T1c_c18.xml | ? (NS) | 0.023284 | 0.024172 | 4293131 | |
StripPacking/ StripPacking-T1d_c18.xml | ? (NS) | 0.02335 | 0.024001 | 4293194 | |
StripPacking/ StripPacking-C1P2_c18.xml | ? (NS) | 0.023385 | 0.024863 | 4293113 | |
StripPacking/ StripPacking-N1b_c18.xml | ? (NS) | 0.023595 | 0.0243971 | 4293203 | |
StripPacking/ StripPacking-N1c_c18.xml | ? (NS) | 0.023827 | 0.024375 | 4293212 | |
StripPacking/ StripPacking-N1a_c18.xml | ? (NS) | 0.024162 | 0.024875 | 4293176 | |
StripPacking/ StripPacking-T1a_c18.xml | ? (NS) | 0.024197 | 0.0247819 | 4293149 | |
StripPacking/ StripPacking-C2P1_c18.xml | ? (NS) | 0.032921 | 0.0334929 | 4293158 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Bibd/ Bibd-sc-34-085-30-12-10_c18.xml | ? (MO) | 13.7623 | 13.768 | 4294092 |