<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi Tony,<br>
<br>
the type classification uses the constraints statistics of the
problem after presolving of the final run, e.g., after the last
restart. The most likely explanation is that conflict analysis
created bound disjunction constraints, which are not linearly
representable. If this happens during the first run, and then SCIP
performs a restart, such constraints become a permanent part of the
problem, and the type classification says "CIP", which is the most
general problem class it knows. You can find the type classification
code in check/check.awk.<br>
<br>
The statistics may look as follows:<br>
<br>
<pre>Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children</pre>
<pre> benderslp : 0 0 0 0 2 0 0 18 0 0 0 0 0 0 0</pre>
<pre> integral : 0 0 0 0 2 0 0 18 0 0 0 0 0 0 4</pre>
<pre> varbound : 93 93 12 1257 0 0 0 0 0 0 0 0 0 0 0</pre>
<pre> setppc : 37 37 35 4937 0 0 0 11 8 2 0 0 0 0 0</pre>
<pre> linear : 655 655 35 4940 0 0 0 5 34 56 40 0 0 0 0</pre>
<pre> orbitope : 1 1 0 3989 0 0 0 4 0 0 0 0 0 0 0</pre>
<pre> logicor : 5 5 35 77 0 0 0 0 0 0 0 0 0 0 0</pre>
<pre> bounddisjunction : 2 2 0 177 0 0 0 0 0 0 0 0 0 0 0
</pre>
Besides bound disjunction constraints, the second explanation could
be the extraction of auxiliary and constraints within the gate
extraction presolver.<br>
<br>
Best,<br>
Gregor<br>
<br>
<div class="moz-cite-prefix">Am 24.08.19 um 01:52 schrieb Wang, Tony
Congqian:<br>
</div>
<blockquote type="cite"
cite="mid:572c8368d98048928bde45b2e8f6d4ce@rwth-aachen.de">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt;
color: rgb(0, 0, 0); font-family: Calibri, Helvetica,
sans-serif, EmojiFont, "Apple Color Emoji",
"Segoe UI Emoji", NotoColorEmoji, "Segoe UI
Symbol", "Android Emoji", EmojiSymbols;">
<p>Hello community,</p>
<p><br>
</p>
<p>I have used SCIP on the MIPLIB2017 benchmark set with make
test. At the end I noticed that some instances where
classified as type "CIP" although every Problem was obviously
a MIP. Does this happen when logic or constraints are used by
scip? Does this actually make a difference in how the programm
works compared to the MIP instances?</p>
<p><br>
</p>
<p>Best regards and many thanks,</p>
<p>Tony</p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>