Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r005-m600-07.xml | ? (MO) | 30.2651 | 30.274 | 4391929 | |
PropStress/PropStress-m1-s1/ PropStress-0650.xml | ? (MO) | 66.5656 | 66.5638 | 4391931 | |
PropStress/PropStress-m1-s1/ PropStress-0450.xml | ? (MO) | 342.388 | 342.377 | 4391891 |