
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<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>

</body>

</html>