Minion 1.5.0

pts/minion-1.5.0 - 04 January 2017 - Update Minion against upstream.

downloads.xml

<?xml version="1.0"?>
<!--Phoronix Test Suite v6.8.0-->
<PhoronixTestSuite>
  <Downloads>
    <Package>
      <URL>http://constraintmodelling.org/files/2015/06/minion-1.8-linux.tar_.gz</URL>
      <MD5>2006deb7938bcf468ad7e8d413968062</MD5>
      <SHA256>035b2d7182c25eaaf4a0ecb79de055ba47d5d9042898820775dfb959583da011</SHA256>
      <FileSize>16517977</FileSize>
    </Package>
  </Downloads>
</PhoronixTestSuite>

install.sh

#!/bin/sh

rm -rf minion-1.8/
tar -zxvf minion-1.8-linux.tar_.gz
cd minion-1.8
cd bin
cmake -DQUICK=1 ..
make minion -j $NUM_CPU_JOBS
echo $? > ~/install-exit-status
cd ~/
rm -rf minion-1.8/bin/CMakeFiles/

echo "#!/bin/sh
cd minion-1.8/
./bin/minion-quick \$@ > \$LOG_FILE 2>&1
echo \$? > ~/test-exit-status" > minion
chmod +x minion

results-definition.xml

<?xml version="1.0"?>
<!--Phoronix Test Suite v6.8.0-->
<PhoronixTestSuite>
  <ResultsParser>
    <OutputTemplate>Total Wall Time: #_RESULT_#</OutputTemplate>
  </ResultsParser>
</PhoronixTestSuite>

test-definition.xml

<?xml version="1.0"?>
<!--Phoronix Test Suite v6.8.0-->
<PhoronixTestSuite>
  <TestInformation>
    <Title>Minion</Title>
    <AppVersion>1.8</AppVersion>
    <Description>Minion is an open-source constraint solver that is designed to be very scalable. This test profile uses Minion's integrated benchmarking problems to solve.</Description>
    <ResultScale>Seconds</ResultScale>
    <Proportion>LIB</Proportion>
    <TimesToRun>3</TimesToRun>
  </TestInformation>
  <TestProfile>
    <Version>1.5.0</Version>
    <SupportedPlatforms>Linux, MacOSX, BSD</SupportedPlatforms>
    <SoftwareType>Utility</SoftwareType>
    <TestType>Processor</TestType>
    <License>Free</License>
    <Status>Verified</Status>
    <ExternalDependencies>build-utilities, cmake, boost-development, bzip2-development</ExternalDependencies>
    <EnvironmentSize>55</EnvironmentSize>
    <ProjectURL>http://minion.sourceforge.net/</ProjectURL>
    <Maintainer>Michael Larabel</Maintainer>
  </TestProfile>
  <TestSettings>
    <Option>
      <DisplayName>Benchmark</DisplayName>
      <Identifier>benchmark</Identifier>
      <ArgumentPrefix></ArgumentPrefix>
      <ArgumentPostfix></ArgumentPostfix>
      <DefaultEntry>0</DefaultEntry>
      <Menu>
        <Entry>
          <Name>Graceful</Name>
          <Value>benchmarks/graceful/k6p2_table.minion</Value>
          <Message></Message>
        </Entry>
        <Entry>
          <Name>Quasigroup</Name>
          <Value>benchmarks/Quasigroup/qg-watchelement-7-10.minion</Value>
          <Message></Message>
        </Entry>
        <Entry>
          <Name>Solitaire</Name>
          <Value>benchmarks/solitaire/solitaire_benchmark_8.minion</Value>
          <Message></Message>
        </Entry>
      </Menu>
    </Option>
  </TestSettings>
</PhoronixTestSuite>