<?xml version="1.0" encoding="UTF-8"?>
<tns:Jobs xmlns:tns="https://www.starexec.org/starexec/public/batchJobSchema.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="https://www.starexec.org/starexec/public/batchJobSchema.xsd batchJobSchema.xsd">
<SolverPipeline name="pipe1"><PipelineStage config-id="348806"></PipelineStage><PipelineStage config-id="329365" primary="true"><BenchmarkDependency input="1"/></PipelineStage></SolverPipeline>
<Job name="cryptominisat-test">
<JobAttributes>
<description value="Proof Checker and Queue Job"/>
<queue-id value="1"/>
<cpu-timeout value="1800"/>
<wallclock-timeout value="1800"/>
<mem-limit value="128.0"/>
<bench-framework value="runsolver"/>
</JobAttributes>

<StageAttributes>
<stage-num value="1"/>
<cpu-timeout value="300"/>
<wallclock-timeout value="300"/>
<other-save value="NoSave"/>
<postproc-id value="265"/>
<preproc-id value="272"/>
</StageAttributes>

<StageAttributes>
<stage-num value="2"/>
<cpu-timeout value="1500"/>
<wallclock-timeout value="1500"/>
<other-save value="NoSave"/>
<postproc-id value="266"/>
</StageAttributes>
<JobLine pipe-name="pipe1" job-space-path="sat" bench-id="9640070"><BenchmarkInput bench-id="9640070"/></JobLine>
<JobLine pipe-name="pipe1" job-space-path="sat" bench-id="9640072"><BenchmarkInput bench-id="9640072"/></JobLine>
<JobLine pipe-name="pipe1" job-space-path="sat" bench-id="9640069"><BenchmarkInput bench-id="9640069"/></JobLine>
<JobLine pipe-name="pipe1" job-space-path="sat" bench-id="9640068"><BenchmarkInput bench-id="9640068"/></JobLine>
<JobLine pipe-name="pipe1" job-space-path="sat" bench-id="9640073"><BenchmarkInput bench-id="9640073"/></JobLine>
</Job>
</tns:Jobs>
