<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
<why3session shape_version="4">
<prover id="0" name="SafeProver" version="0.0.1" timelimit="60" memlimit="4000"/>
<prover id="1" name="Zenon" version="0.8.0" timelimit="60" memlimit="4000"/>
<prover id="2" name="Eprover" version="1.8" timelimit="60" memlimit="4000"/>
<prover id="3" name="SPASS" version="3.7" timelimit="60" memlimit="4000"/>
<prover id="4" name="Zenon_modulo" version="0.4.1" timelimit="60" memlimit="4000"/>
<prover id="5" name="Vampire" version="0.6" timelimit="60" memlimit="4000"/>
<prover id="6" name="LeanCoP" version="2.1" timelimit="60" memlimit="4000"/>
<file name="/home/marche/TPTP-v6.2.0/Problems/CSR.why">
<theory name="Goals">
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR025+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR025+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.150000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR025+3.p">
<proof prover="0"><result status="valid" time="2.900000"/></proof>
<proof prover="1"><result status="valid" time="0.350000"/></proof>
<proof prover="2"><result status="valid" time="0.130000"/></proof>
<proof prover="3"><result status="valid" time="25.480000"/></proof>
<proof prover="4"><result status="valid" time="0.690000"/></proof>
<proof prover="5"><result status="valid" time="0.150000"/></proof>
<proof prover="6"><result status="valid" time="1.550000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR026+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR026+2.p">
<proof prover="0"><result status="valid" time="1.240000"/></proof>
<proof prover="1"><result status="valid" time="0.140000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.580000"/></proof>
<proof prover="4"><result status="valid" time="0.300000"/></proof>
<proof prover="5"><result status="valid" time="0.060000"/></proof>
<proof prover="6"><result status="valid" time="21.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR026+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="1.240000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.810000"/></proof>
<proof prover="6"><result status="valid" time="23.530000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR027+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR027+2.p">
<proof prover="0"><result status="valid" time="6.120000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="1.240000"/></proof>
<proof prover="3"><result status="valid" time="14.920000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="1.180000"/></proof>
<proof prover="6"><result status="valid" time="0.190000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR027+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="1.150000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="6.820000"/></proof>
<proof prover="6"><result status="valid" time="10.750000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR028+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.010000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR028+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.050000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.160000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR028+3.p">
<proof prover="0"><result status="valid" time="3.000000"/></proof>
<proof prover="1"><result status="valid" time="0.340000"/></proof>
<proof prover="2"><result status="valid" time="0.150000"/></proof>
<proof prover="3"><result status="valid" time="26.050000"/></proof>
<proof prover="4"><result status="valid" time="0.820000"/></proof>
<proof prover="5"><result status="valid" time="0.160000"/></proof>
<proof prover="6"><result status="valid" time="1.670000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR029+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR029+2.p">
<proof prover="0"><result status="valid" time="0.470000"/></proof>
<proof prover="1"><result status="valid" time="36.940000"/></proof>
<proof prover="2"><result status="valid" time="0.100000"/></proof>
<proof prover="3"><result status="valid" time="1.830000"/></proof>
<proof prover="4"><result status="timeout" time="60.520000"/></proof>
<proof prover="5"><result status="valid" time="1.150000"/></proof>
<proof prover="6"><result status="valid" time="0.130000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR029+3.p">
<proof prover="0"><result status="valid" time="45.090000"/></proof>
<proof prover="1"><result status="unknown" time="61.230000"/></proof>
<proof prover="2"><result status="valid" time="4.580000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.550000"/></proof>
<proof prover="5"><result status="valid" time="8.110000"/></proof>
<proof prover="6"><result status="valid" time="3.930000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR030+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.060000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.130000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR030+2.p">
<proof prover="0"><result status="valid" time="0.650000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="valid" time="0.500000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="0.050000"/></proof>
<proof prover="6"><result status="valid" time="0.180000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR030+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="1.130000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.030000"/></proof>
<proof prover="5"><result status="valid" time="0.710000"/></proof>
<proof prover="6"><result status="valid" time="10.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR031+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR031+2.p">
<proof prover="0"><result status="valid" time="0.100000"/></proof>
<proof prover="1"><result status="timeout" time="60.950000"/></proof>
<proof prover="2"><result status="valid" time="0.070000"/></proof>
<proof prover="3"><result status="valid" time="0.230000"/></proof>
<proof prover="4"><result status="timeout" time="60.200000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="5.200000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR031+3.p">
<proof prover="0"><result status="valid" time="3.400000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="1.070000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="0.210000"/></proof>
<proof prover="6"><result status="valid" time="6.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR032+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR032+2.p">
<proof prover="0"><result status="valid" time="0.190000"/></proof>
<proof prover="1"><result status="valid" time="0.430000"/></proof>
<proof prover="2"><result status="valid" time="0.040000"/></proof>
<proof prover="3"><result status="valid" time="0.210000"/></proof>
<proof prover="4"><result status="valid" time="0.880000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR032+3.p">
<proof prover="0"><result status="valid" time="6.340000"/></proof>
<proof prover="1"><result status="valid" time="19.760000"/></proof>
<proof prover="2"><result status="valid" time="0.640000"/></proof>
<proof prover="3"><result status="valid" time="28.750000"/></proof>
<proof prover="4"><result status="valid" time="31.170000"/></proof>
<proof prover="5"><result status="valid" time="0.220000"/></proof>
<proof prover="6"><result status="valid" time="2.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR033+1.p">
<proof prover="0"><result status="valid" time="0.060000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR033+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="8.020000"/></proof>
<proof prover="2"><result status="valid" time="0.090000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="15.320000"/></proof>
<proof prover="5"><result status="valid" time="1.200000"/></proof>
<proof prover="6"><result status="valid" time="21.610000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR033+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.900000"/></proof>
<proof prover="2"><result status="valid" time="4.890000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="unknown" time="60.330000"/></proof>
<proof prover="6"><result status="timeout" time="66.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR034+1.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR034+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="0.640000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="valid" time="0.640000"/></proof>
<proof prover="4"><result status="valid" time="1.060000"/></proof>
<proof prover="5"><result status="valid" time="0.680000"/></proof>
<proof prover="6"><result status="valid" time="46.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR034+3.p">
<proof prover="0"><result status="valid" time="6.290000"/></proof>
<proof prover="1"><result status="valid" time="7.620000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="valid" time="26.540000"/></proof>
<proof prover="4"><result status="valid" time="16.390000"/></proof>
<proof prover="5"><result status="valid" time="0.210000"/></proof>
<proof prover="6"><result status="valid" time="2.090000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR035+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR035+2.p">
<proof prover="0"><result status="valid" time="0.080000"/></proof>
<proof prover="1"><result status="valid" time="0.080000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.180000"/></proof>
<proof prover="4"><result status="valid" time="0.150000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR035+3.p">
<proof prover="0"><result status="valid" time="3.000000"/></proof>
<proof prover="1"><result status="valid" time="0.730000"/></proof>
<proof prover="2"><result status="valid" time="0.140000"/></proof>
<proof prover="3"><result status="valid" time="22.030000"/></proof>
<proof prover="4"><result status="valid" time="1.660000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="1.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR036+1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="0.350000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="valid" time="0.670000"/></proof>
<proof prover="5"><result status="valid" time="0.440000"/></proof>
<proof prover="6"><result status="valid" time="40.830000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR036+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.000000"/></proof>
<proof prover="2"><result status="valid" time="1.050000"/></proof>
<proof prover="3"><result status="valid" time="17.220000"/></proof>
<proof prover="4"><result status="timeout" time="60.240000"/></proof>
<proof prover="5"><result status="valid" time="3.550000"/></proof>
<proof prover="6"><result status="timeout" time="61.670000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR036+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="timeout" time="60.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="65.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR037+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR037+2.p">
<proof prover="0"><result status="valid" time="0.140000"/></proof>
<proof prover="1"><result status="valid" time="0.080000"/></proof>
<proof prover="2"><result status="valid" time="0.100000"/></proof>
<proof prover="3"><result status="valid" time="0.200000"/></proof>
<proof prover="4"><result status="valid" time="0.180000"/></proof>
<proof prover="5"><result status="valid" time="0.070000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR037+3.p">
<proof prover="0"><result status="valid" time="6.680000"/></proof>
<proof prover="1"><result status="valid" time="0.760000"/></proof>
<proof prover="2"><result status="valid" time="1.240000"/></proof>
<proof prover="3"><result status="valid" time="26.800000"/></proof>
<proof prover="4"><result status="valid" time="1.770000"/></proof>
<proof prover="5"><result status="valid" time="0.830000"/></proof>
<proof prover="6"><result status="valid" time="7.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR038+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR038+2.p">
<proof prover="0"><result status="valid" time="0.110000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="1.180000"/></proof>
<proof prover="3"><result status="valid" time="16.780000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="valid" time="0.590000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR038+3.p">
<proof prover="0"><result status="valid" time="6.150000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="1.110000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.210000"/></proof>
<proof prover="5"><result status="valid" time="1.790000"/></proof>
<proof prover="6"><result status="valid" time="1.940000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR039+1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="2.570000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.060000"/></proof>
<proof prover="4"><result status="valid" time="4.190000"/></proof>
<proof prover="5"><result status="valid" time="0.290000"/></proof>
<proof prover="6"><result status="valid" time="34.680000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR039+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="61.110000"/></proof>
<proof prover="5"><result status="valid" time="3.130000"/></proof>
<proof prover="6"><result status="timeout" time="61.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR039+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.110000"/></proof>
<proof prover="2"><result status="timeout" time="60.070000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="62.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR040+1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="5.260000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="9.810000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="46.930000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR040+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.100000"/></proof>
<proof prover="3"><result status="valid" time="0.230000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="timeout" time="63.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR040+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="4.270000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.180000"/></proof>
<proof prover="6"><result status="timeout" time="59.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR041+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR041+2.p">
<proof prover="0"><result status="valid" time="0.110000"/></proof>
<proof prover="1"><result status="valid" time="0.070000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="1.610000"/></proof>
<proof prover="4"><result status="valid" time="0.140000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR041+3.p">
<proof prover="0"><result status="valid" time="5.650000"/></proof>
<proof prover="1"><result status="valid" time="0.650000"/></proof>
<proof prover="2"><result status="valid" time="0.970000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="valid" time="1.430000"/></proof>
<proof prover="5"><result status="valid" time="0.270000"/></proof>
<proof prover="6"><result status="valid" time="1.770000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR042+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR042+2.p">
<proof prover="0"><result status="valid" time="0.120000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.180000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR042+3.p">
<proof prover="0"><result status="valid" time="5.630000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="0.550000"/></proof>
<proof prover="3"><result status="valid" time="24.170000"/></proof>
<proof prover="4"><result status="unknown" time="61.200000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="1.570000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR043+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR043+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.140000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR043+3.p">
<proof prover="0"><result status="valid" time="2.800000"/></proof>
<proof prover="1"><result status="valid" time="0.300000"/></proof>
<proof prover="2"><result status="valid" time="0.120000"/></proof>
<proof prover="3"><result status="valid" time="24.670000"/></proof>
<proof prover="4"><result status="valid" time="0.640000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="1.560000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR044+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR044+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.730000"/></proof>
<proof prover="2"><result status="valid" time="1.120000"/></proof>
<proof prover="3"><result status="valid" time="15.300000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="valid" time="0.550000"/></proof>
<proof prover="6"><result status="valid" time="0.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR044+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.250000"/></proof>
<proof prover="2"><result status="valid" time="1.040000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.700000"/></proof>
<proof prover="5"><result status="valid" time="1.880000"/></proof>
<proof prover="6"><result status="timeout" time="68.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR045+1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="0.050000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.090000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR045+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="60.420000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="valid" time="0.200000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="timeout" time="61.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR045+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.240000"/></proof>
<proof prover="2"><result status="valid" time="5.720000"/></proof>
<proof prover="3"><result status="valid" time="56.220000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="0.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR046+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.010000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR046+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.030000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.140000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.090000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR046+3.p">
<proof prover="0"><result status="valid" time="2.730000"/></proof>
<proof prover="1"><result status="valid" time="0.310000"/></proof>
<proof prover="2"><result status="valid" time="0.120000"/></proof>
<proof prover="3"><result status="valid" time="24.410000"/></proof>
<proof prover="4"><result status="valid" time="0.620000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="1.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR047+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.010000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR047+2.p">
<proof prover="0"><result status="valid" time="0.100000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.050000"/></proof>
<proof prover="3"><result status="valid" time="0.180000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR047+3.p">
<proof prover="0"><result status="valid" time="5.460000"/></proof>
<proof prover="1"><result status="valid" time="0.300000"/></proof>
<proof prover="2"><result status="valid" time="0.510000"/></proof>
<proof prover="3"><result status="valid" time="21.200000"/></proof>
<proof prover="4"><result status="valid" time="0.650000"/></proof>
<proof prover="5"><result status="valid" time="0.290000"/></proof>
<proof prover="6"><result status="valid" time="1.560000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR048+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR048+2.p">
<proof prover="0"><result status="valid" time="0.090000"/></proof>
<proof prover="1"><result status="valid" time="0.090000"/></proof>
<proof prover="2"><result status="valid" time="0.050000"/></proof>
<proof prover="3"><result status="valid" time="0.160000"/></proof>
<proof prover="4"><result status="valid" time="0.210000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR048+3.p">
<proof prover="0"><result status="valid" time="2.880000"/></proof>
<proof prover="1"><result status="valid" time="1.140000"/></proof>
<proof prover="2"><result status="valid" time="0.520000"/></proof>
<proof prover="3"><result status="valid" time="20.840000"/></proof>
<proof prover="4"><result status="valid" time="2.600000"/></proof>
<proof prover="5"><result status="valid" time="0.320000"/></proof>
<proof prover="6"><result status="valid" time="1.760000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR049+1.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="valid" time="0.340000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="valid" time="0.670000"/></proof>
<proof prover="5"><result status="valid" time="0.430000"/></proof>
<proof prover="6"><result status="valid" time="36.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR049+2.p">
<proof prover="0"><result status="timeout" time="60.020000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.170000"/></proof>
<proof prover="3"><result status="valid" time="19.380000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="valid" time="2.920000"/></proof>
<proof prover="6"><result status="timeout" time="58.580000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR049+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.230000"/></proof>
<proof prover="2"><result status="timeout" time="60.070000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.190000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="66.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR050+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.030000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.050000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.130000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR050+2.p">
<proof prover="0"><result status="valid" time="0.510000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="1.620000"/></proof>
<proof prover="4"><result status="timeout" time="60.140000"/></proof>
<proof prover="5"><result status="valid" time="0.080000"/></proof>
<proof prover="6"><result status="valid" time="6.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR050+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="1.040000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="0.740000"/></proof>
<proof prover="6"><result status="valid" time="22.990000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR051+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR051+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.070000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.150000"/></proof>
<proof prover="4"><result status="valid" time="0.140000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR051+3.p">
<proof prover="0"><result status="valid" time="2.810000"/></proof>
<proof prover="1"><result status="valid" time="0.670000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="valid" time="26.400000"/></proof>
<proof prover="4"><result status="valid" time="1.400000"/></proof>
<proof prover="5"><result status="valid" time="0.130000"/></proof>
<proof prover="6"><result status="valid" time="1.500000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR052+1.p">
<proof prover="0"><result status="valid" time="0.020000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.080000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR052+2.p">
<proof prover="0"><result status="valid" time="0.730000"/></proof>
<proof prover="1"><result status="valid" time="0.080000"/></proof>
<proof prover="2"><result status="valid" time="0.130000"/></proof>
<proof prover="3"><result status="valid" time="14.710000"/></proof>
<proof prover="4"><result status="valid" time="0.150000"/></proof>
<proof prover="5"><result status="valid" time="1.130000"/></proof>
<proof prover="6"><result status="valid" time="13.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR052+3.p">
<proof prover="0"><result status="valid" time="48.560000"/></proof>
<proof prover="1"><result status="valid" time="0.710000"/></proof>
<proof prover="2"><result status="valid" time="4.260000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="1.800000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="valid" time="15.520000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR053+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR053+2.p">
<proof prover="0"><result status="valid" time="0.060000"/></proof>
<proof prover="1"><result status="valid" time="0.030000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="valid" time="0.050000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.090000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR053+3.p">
<proof prover="0"><result status="valid" time="2.800000"/></proof>
<proof prover="1"><result status="valid" time="0.310000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="valid" time="23.910000"/></proof>
<proof prover="4"><result status="valid" time="0.640000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="1.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR054+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR054+2.p">
<proof prover="0"><result status="valid" time="0.080000"/></proof>
<proof prover="1"><result status="valid" time="0.070000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.180000"/></proof>
<proof prover="4"><result status="valid" time="0.140000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR054+3.p">
<proof prover="0"><result status="valid" time="2.810000"/></proof>
<proof prover="1"><result status="valid" time="1.120000"/></proof>
<proof prover="2"><result status="valid" time="0.210000"/></proof>
<proof prover="3"><result status="valid" time="20.320000"/></proof>
<proof prover="4"><result status="valid" time="2.010000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="1.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR055+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR055+2.p">
<proof prover="0"><result status="valid" time="0.100000"/></proof>
<proof prover="1"><result status="timeout" time="60.330000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.200000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR055+3.p">
<proof prover="0"><result status="valid" time="3.130000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.940000"/></proof>
<proof prover="3"><result status="valid" time="57.980000"/></proof>
<proof prover="4"><result status="timeout" time="60.600000"/></proof>
<proof prover="5"><result status="valid" time="0.200000"/></proof>
<proof prover="6"><result status="valid" time="6.640000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR056+1.p">
<proof prover="0"><result status="valid" time="0.020000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR056+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="0.140000"/></proof>
<proof prover="2"><result status="valid" time="0.070000"/></proof>
<proof prover="3"><result status="valid" time="0.550000"/></proof>
<proof prover="4"><result status="valid" time="0.280000"/></proof>
<proof prover="5"><result status="valid" time="0.060000"/></proof>
<proof prover="6"><result status="valid" time="0.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR056+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="outofmemory" time="58.000000"/></proof>
<proof prover="2"><result status="valid" time="1.010000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.240000"/></proof>
<proof prover="5"><result status="valid" time="0.710000"/></proof>
<proof prover="6"><result status="timeout" time="69.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR057+1.p">
<proof prover="0"><result status="valid" time="1.130000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR057+2.p">
<proof prover="0"><result status="valid" time="4.780000"/></proof>
<proof prover="1"><result status="valid" time="17.610000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.560000"/></proof>
<proof prover="4"><result status="valid" time="26.000000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="1.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR057+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="1.000000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="0.710000"/></proof>
<proof prover="6"><result status="timeout" time="67.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR058+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.000000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR058+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.060000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="valid" time="0.150000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR058+3.p">
<proof prover="0"><result status="valid" time="2.780000"/></proof>
<proof prover="1"><result status="valid" time="0.620000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="valid" time="20.540000"/></proof>
<proof prover="4"><result status="valid" time="1.330000"/></proof>
<proof prover="5"><result status="valid" time="0.280000"/></proof>
<proof prover="6"><result status="valid" time="1.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR059+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR059+2.p">
<proof prover="0"><result status="valid" time="0.260000"/></proof>
<proof prover="1"><result status="valid" time="0.060000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="valid" time="0.140000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR059+3.p">
<proof prover="0"><result status="valid" time="27.420000"/></proof>
<proof prover="1"><result status="valid" time="1.000000"/></proof>
<proof prover="2"><result status="valid" time="0.970000"/></proof>
<proof prover="3"><result status="valid" time="20.950000"/></proof>
<proof prover="4"><result status="valid" time="1.830000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="3.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR060+1.p">
<proof prover="0"><result status="valid" time="0.060000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR060+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="1.130000"/></proof>
<proof prover="3"><result status="valid" time="14.930000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.560000"/></proof>
<proof prover="6"><result status="valid" time="5.950000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR060+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="1.110000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="1.660000"/></proof>
<proof prover="6"><result status="timeout" time="60.250000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR061+1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="0.090000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="0.170000"/></proof>
<proof prover="5"><result status="valid" time="0.060000"/></proof>
<proof prover="6"><result status="valid" time="5.810000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR061+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.170000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="2.150000"/></proof>
<proof prover="6"><result status="timeout" time="63.570000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR061+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.890000"/></proof>
<proof prover="2"><result status="timeout" time="60.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR062+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.290000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.640000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR062+2.p">
<proof prover="0"><result status="valid" time="3.540000"/></proof>
<proof prover="1"><result status="unknown" time="61.230000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="valid" time="15.480000"/></proof>
<proof prover="4"><result status="timeout" time="60.850000"/></proof>
<proof prover="5"><result status="valid" time="0.550000"/></proof>
<proof prover="6"><result status="valid" time="1.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR062+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.220000"/></proof>
<proof prover="2"><result status="valid" time="1.130000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.190000"/></proof>
<proof prover="5"><result status="valid" time="1.940000"/></proof>
<proof prover="6"><result status="valid" time="23.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR063+1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="12.430000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="23.180000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="22.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR063+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.060000"/></proof>
<proof prover="2"><result status="valid" time="0.090000"/></proof>
<proof prover="3"><result status="valid" time="16.170000"/></proof>
<proof prover="4"><result status="timeout" time="60.290000"/></proof>
<proof prover="5"><result status="valid" time="3.280000"/></proof>
<proof prover="6"><result status="valid" time="56.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR063+3.p">
<proof prover="0"><result status="valid" time="3.100000"/></proof>
<proof prover="1"><result status="timeout" time="60.640000"/></proof>
<proof prover="2"><result status="valid" time="0.900000"/></proof>
<proof prover="3"><result status="valid" time="56.150000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="0.190000"/></proof>
<proof prover="6"><result status="valid" time="6.600000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR064+1.p">
<proof prover="0"><result status="valid" time="0.210000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR064+2.p">
<proof prover="0"><result status="valid" time="0.190000"/></proof>
<proof prover="1"><result status="unknown" time="54.000000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.200000"/></proof>
<proof prover="4"><result status="timeout" time="60.670000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR064+3.p">
<proof prover="0"><result status="valid" time="3.710000"/></proof>
<proof prover="1"><result status="outofmemory" time="58.390000"/></proof>
<proof prover="2"><result status="valid" time="1.530000"/></proof>
<proof prover="3"><result status="valid" time="57.020000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="valid" time="0.190000"/></proof>
<proof prover="6"><result status="valid" time="1.680000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR065+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR065+2.p">
<proof prover="0"><result status="valid" time="1.220000"/></proof>
<proof prover="1"><result status="valid" time="0.140000"/></proof>
<proof prover="2"><result status="valid" time="0.070000"/></proof>
<proof prover="3"><result status="valid" time="0.550000"/></proof>
<proof prover="4"><result status="valid" time="0.240000"/></proof>
<proof prover="5"><result status="valid" time="0.060000"/></proof>
<proof prover="6"><result status="valid" time="21.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR065+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="56.180000"/></proof>
<proof prover="2"><result status="valid" time="1.070000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.130000"/></proof>
<proof prover="5"><result status="valid" time="0.720000"/></proof>
<proof prover="6"><result status="valid" time="23.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR066+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR066+2.p">
<proof prover="0"><result status="valid" time="0.390000"/></proof>
<proof prover="1"><result status="timeout" time="60.630000"/></proof>
<proof prover="2"><result status="valid" time="1.090000"/></proof>
<proof prover="3"><result status="valid" time="15.990000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="0.540000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR066+3.p">
<proof prover="0"><result status="valid" time="37.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="1.010000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.220000"/></proof>
<proof prover="5"><result status="valid" time="1.800000"/></proof>
<proof prover="6"><result status="valid" time="24.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR067+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.040000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR067+2.p">
<proof prover="0"><result status="valid" time="0.110000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.050000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR067+3.p">
<proof prover="0"><result status="valid" time="5.540000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.520000"/></proof>
<proof prover="3"><result status="valid" time="23.980000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="1.580000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR068+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.000000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR068+2.p">
<proof prover="0"><result status="valid" time="0.120000"/></proof>
<proof prover="1"><result status="valid" time="0.090000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.230000"/></proof>
<proof prover="4"><result status="valid" time="0.170000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR068+3.p">
<proof prover="0"><result status="valid" time="4.490000"/></proof>
<proof prover="1"><result status="valid" time="5.320000"/></proof>
<proof prover="2"><result status="valid" time="1.010000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="9.440000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="1.780000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR069+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.010000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR069+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.090000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR069+3.p">
<proof prover="0"><result status="valid" time="2.750000"/></proof>
<proof prover="1"><result status="valid" time="0.290000"/></proof>
<proof prover="2"><result status="valid" time="0.100000"/></proof>
<proof prover="3"><result status="valid" time="22.790000"/></proof>
<proof prover="4"><result status="valid" time="0.630000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="1.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR070+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.030000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR070+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="13.380000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="valid" time="7.290000"/></proof>
<proof prover="6"><result status="valid" time="1.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR070+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="3.960000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.210000"/></proof>
<proof prover="5"><result status="valid" time="45.200000"/></proof>
<proof prover="6"><result status="valid" time="14.820000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR071+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR071+2.p">
<proof prover="0"><result status="valid" time="1.200000"/></proof>
<proof prover="1"><result status="valid" time="0.110000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.220000"/></proof>
<proof prover="4"><result status="valid" time="0.220000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR071+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="1.400000"/></proof>
<proof prover="2"><result status="valid" time="0.980000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="valid" time="2.770000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="11.000000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR072+1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.010000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR072+2.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="0.040000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.150000"/></proof>
<proof prover="4"><result status="valid" time="0.060000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR072+3.p">
<proof prover="0"><result status="valid" time="2.830000"/></proof>
<proof prover="1"><result status="valid" time="0.290000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="valid" time="24.760000"/></proof>
<proof prover="4"><result status="valid" time="0.680000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="1.550000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR073+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="timeout" time="60.560000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="timeout" time="60.190000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR073+2.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.070000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="0.640000"/></proof>
<proof prover="6"><result status="valid" time="1.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR073+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.240000"/></proof>
<proof prover="2"><result status="valid" time="4.060000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="valid" time="3.250000"/></proof>
<proof prover="6"><result status="valid" time="9.910000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR074+1.p">
<proof prover="0"><result status="valid" time="0.010000"/></proof>
<proof prover="1"><result status="valid" time="0.020000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="0.020000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR074+2.p">
<proof prover="0"><result status="valid" time="0.480000"/></proof>
<proof prover="1"><result status="valid" time="23.390000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="valid" time="1.600000"/></proof>
<proof prover="4"><result status="valid" time="30.540000"/></proof>
<proof prover="5"><result status="valid" time="1.020000"/></proof>
<proof prover="6"><result status="valid" time="0.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR074+3.p">
<proof prover="0"><result status="valid" time="42.830000"/></proof>
<proof prover="1"><result status="unknown" time="53.140000"/></proof>
<proof prover="2"><result status="valid" time="3.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="valid" time="7.700000"/></proof>
<proof prover="6"><result status="valid" time="3.680000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR111+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="unknown" time="5.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.170000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="62.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR111+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="timeout" time="60.120000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.800000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="64.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR112+1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.510000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.470000"/></proof>
<proof prover="5"><result status="timeout" time="60.200000"/></proof>
<proof prover="6"><result status="timeout" time="63.250000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+10.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.250000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.470000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="2.250000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+11.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.830000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.170000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.840000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+12.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.380000"/></proof>
<proof prover="2"><result status="valid" time="0.870000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="6.750000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+13.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.750000"/></proof>
<proof prover="2"><result status="valid" time="0.850000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="valid" time="6.750000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+14.p">
<proof prover="0"><result status="valid" time="36.550000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="5.050000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+15.p">
<proof prover="0"><result status="valid" time="30.070000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="valid" time="11.140000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+16.p">
<proof prover="0"><result status="valid" time="25.350000"/></proof>
<proof prover="1"><result status="timeout" time="60.380000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.160000"/></proof>
<proof prover="5"><result status="valid" time="5.110000"/></proof>
<proof prover="6"><result status="valid" time="0.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+17.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.960000"/></proof>
<proof prover="2"><result status="valid" time="0.850000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="6.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+18.p">
<proof prover="0"><result status="valid" time="8.090000"/></proof>
<proof prover="1"><result status="valid" time="3.190000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="12.200000"/></proof>
<proof prover="5"><result status="valid" time="2.160000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+19.p">
<proof prover="0"><result status="valid" time="29.780000"/></proof>
<proof prover="1"><result status="timeout" time="60.180000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="1.880000"/></proof>
<proof prover="6"><result status="valid" time="21.630000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+1.p">
<proof prover="0"><result status="valid" time="35.190000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.110000"/></proof>
<proof prover="6"><result status="valid" time="24.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+20.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="61.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.650000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+21.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.430000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.180000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="6.630000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+22.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.190000"/></proof>
<proof prover="5"><result status="valid" time="45.140000"/></proof>
<proof prover="6"><result status="valid" time="6.750000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+23.p">
<proof prover="0"><result status="valid" time="16.420000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="5.470000"/></proof>
<proof prover="6"><result status="timeout" time="68.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+24.p">
<proof prover="0"><result status="valid" time="20.060000"/></proof>
<proof prover="1"><result status="timeout" time="60.230000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.260000"/></proof>
<proof prover="5"><result status="valid" time="5.470000"/></proof>
<proof prover="6"><result status="timeout" time="68.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+25.p">
<proof prover="0"><result status="valid" time="28.000000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.390000"/></proof>
<proof prover="5"><result status="valid" time="5.430000"/></proof>
<proof prover="6"><result status="valid" time="6.720000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+26.p">
<proof prover="0"><result status="valid" time="37.800000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.120000"/></proof>
<proof prover="5"><result status="valid" time="5.220000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+27.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.660000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.330000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+28.p">
<proof prover="0"><result status="valid" time="21.530000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.180000"/></proof>
<proof prover="5"><result status="valid" time="4.820000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+29.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.450000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+2.p">
<proof prover="0"><result status="valid" time="49.700000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="0.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+30.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.680000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.450000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.730000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+31.p">
<proof prover="0"><result status="valid" time="22.860000"/></proof>
<proof prover="1"><result status="timeout" time="60.730000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.140000"/></proof>
<proof prover="5"><result status="valid" time="45.240000"/></proof>
<proof prover="6"><result status="timeout" time="63.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+3.p">
<proof prover="0"><result status="valid" time="29.420000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.280000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="24.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.270000"/></proof>
<proof prover="2"><result status="valid" time="0.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.210000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+5.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.380000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.710000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+6.p">
<proof prover="0"><result status="valid" time="10.990000"/></proof>
<proof prover="1"><result status="valid" time="2.840000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="11.460000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="0.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+7.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="0.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+8.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.470000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.730000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR113+9.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.380000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.000000"/></proof>
<proof prover="4"><result status="timeout" time="60.350000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="6.730000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+10.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.820000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+11.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.850000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="62.610000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+12.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.830000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.190000"/></proof>
<proof prover="5"><result status="valid" time="11.370000"/></proof>
<proof prover="6"><result status="timeout" time="63.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+13.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.210000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.550000"/></proof>
<proof prover="5"><result status="valid" time="5.750000"/></proof>
<proof prover="6"><result status="timeout" time="62.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+14.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.550000"/></proof>
<proof prover="5"><result status="valid" time="5.970000"/></proof>
<proof prover="6"><result status="valid" time="0.710000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+15.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.220000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.350000"/></proof>
<proof prover="5"><result status="valid" time="5.940000"/></proof>
<proof prover="6"><result status="timeout" time="63.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+16.p">
<proof prover="0"><result status="valid" time="8.150000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="1.920000"/></proof>
<proof prover="6"><result status="valid" time="0.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+17.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.580000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.340000"/></proof>
<proof prover="5"><result status="valid" time="5.620000"/></proof>
<proof prover="6"><result status="valid" time="0.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+18.p">
<proof prover="0"><result status="valid" time="25.100000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="8.230000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+19.p">
<proof prover="0"><result status="valid" time="54.290000"/></proof>
<proof prover="1"><result status="timeout" time="60.190000"/></proof>
<proof prover="2"><result status="valid" time="0.810000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.200000"/></proof>
<proof prover="5"><result status="valid" time="10.320000"/></proof>
<proof prover="6"><result status="timeout" time="62.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+1.p">
<proof prover="0"><result status="valid" time="52.810000"/></proof>
<proof prover="1"><result status="timeout" time="60.890000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.660000"/></proof>
<proof prover="5"><result status="valid" time="10.270000"/></proof>
<proof prover="6"><result status="timeout" time="64.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+20.p">
<proof prover="0"><result status="valid" time="49.700000"/></proof>
<proof prover="1"><result status="timeout" time="60.520000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.120000"/></proof>
<proof prover="5"><result status="valid" time="9.900000"/></proof>
<proof prover="6"><result status="valid" time="0.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+21.p">
<proof prover="0"><result status="valid" time="8.680000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.240000"/></proof>
<proof prover="5"><result status="valid" time="11.550000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+22.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="5.650000"/></proof>
<proof prover="6"><result status="valid" time="0.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+23.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.010000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="10.300000"/></proof>
<proof prover="6"><result status="timeout" time="67.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+24.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.810000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.010000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+25.p">
<proof prover="0"><result status="valid" time="15.710000"/></proof>
<proof prover="1"><result status="timeout" time="60.300000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.390000"/></proof>
<proof prover="5"><result status="valid" time="10.070000"/></proof>
<proof prover="6"><result status="valid" time="0.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+26.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.240000"/></proof>
<proof prover="5"><result status="valid" time="9.970000"/></proof>
<proof prover="6"><result status="timeout" time="62.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+27.p">
<proof prover="0"><result status="valid" time="30.830000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.010000"/></proof>
<proof prover="5"><result status="valid" time="11.560000"/></proof>
<proof prover="6"><result status="timeout" time="67.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+28.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.810000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.470000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.020000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+29.p">
<proof prover="0"><result status="valid" time="52.980000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.210000"/></proof>
<proof prover="5"><result status="valid" time="10.690000"/></proof>
<proof prover="6"><result status="timeout" time="64.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="10.610000"/></proof>
<proof prover="6"><result status="timeout" time="62.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+30.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.260000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+3.p">
<proof prover="0"><result status="timeout" time="60.020000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="10.200000"/></proof>
<proof prover="6"><result status="timeout" time="60.240000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+4.p">
<proof prover="0"><result status="valid" time="43.760000"/></proof>
<proof prover="1"><result status="timeout" time="60.200000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="9.890000"/></proof>
<proof prover="6"><result status="valid" time="24.770000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+5.p">
<proof prover="0"><result status="valid" time="43.030000"/></proof>
<proof prover="1"><result status="timeout" time="60.170000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="10.090000"/></proof>
<proof prover="6"><result status="timeout" time="64.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+6.p">
<proof prover="0"><result status="valid" time="7.660000"/></proof>
<proof prover="1"><result status="valid" time="2.960000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="valid" time="11.290000"/></proof>
<proof prover="5"><result status="valid" time="0.290000"/></proof>
<proof prover="6"><result status="valid" time="0.240000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+7.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.780000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.390000"/></proof>
<proof prover="5"><result status="valid" time="5.600000"/></proof>
<proof prover="6"><result status="valid" time="0.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+8.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.150000"/></proof>
<proof prover="6"><result status="valid" time="13.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR114+9.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+100.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.220000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.300000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+10.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.440000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="12.770000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+11.p">
<proof prover="0"><result status="timeout" time="60.060000"/></proof>
<proof prover="1"><result status="timeout" time="61.050000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.700000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+12.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.170000"/></proof>
<proof prover="5"><result status="valid" time="5.370000"/></proof>
<proof prover="6"><result status="timeout" time="66.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+13.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="4.810000"/></proof>
<proof prover="6"><result status="timeout" time="63.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+14.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.630000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+15.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="65.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+16.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+17.p">
<proof prover="0"><result status="valid" time="45.780000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.910000"/></proof>
<proof prover="5"><result status="valid" time="2.160000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+18.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.240000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.160000"/></proof>
<proof prover="5"><result status="valid" time="5.660000"/></proof>
<proof prover="6"><result status="timeout" time="66.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+19.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.340000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="4.760000"/></proof>
<proof prover="6"><result status="timeout" time="67.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="58.940000"/></proof>
<proof prover="6"><result status="valid" time="0.750000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+20.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.230000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+21.p">
<proof prover="0"><result status="valid" time="7.930000"/></proof>
<proof prover="1"><result status="valid" time="2.870000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="11.540000"/></proof>
<proof prover="5"><result status="valid" time="2.060000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+22.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.660000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+23.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.300000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="69.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+24.p">
<proof prover="0"><result status="valid" time="8.500000"/></proof>
<proof prover="1"><result status="timeout" time="60.370000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="0.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+25.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.900000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+26.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.380000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.380000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+27.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.540000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+28.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.170000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="0.640000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+29.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.230000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.780000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.040000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.260000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+30.p">
<proof prover="0"><result status="valid" time="18.240000"/></proof>
<proof prover="1"><result status="valid" time="3.440000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="12.470000"/></proof>
<proof prover="5"><result status="valid" time="2.060000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+31.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.140000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.650000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.190000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+32.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.520000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="64.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+33.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="4.760000"/></proof>
<proof prover="6"><result status="timeout" time="68.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+34.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.140000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.610000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+35.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.230000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+36.p">
<proof prover="0"><result status="valid" time="8.190000"/></proof>
<proof prover="1"><result status="timeout" time="60.550000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="2.060000"/></proof>
<proof prover="6"><result status="valid" time="21.650000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+37.p">
<proof prover="0"><result status="valid" time="15.680000"/></proof>
<proof prover="1"><result status="timeout" time="60.510000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="timeout" time="60.480000"/></proof>
<proof prover="5"><result status="valid" time="2.110000"/></proof>
<proof prover="6"><result status="valid" time="0.950000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+38.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.190000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.350000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+39.p">
<proof prover="0"><result status="valid" time="8.070000"/></proof>
<proof prover="1"><result status="timeout" time="60.150000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.130000"/></proof>
<proof prover="5"><result status="valid" time="2.070000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.390000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+40.p">
<proof prover="0"><result status="valid" time="8.160000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="valid" time="2.080000"/></proof>
<proof prover="6"><result status="valid" time="0.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+41.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.460000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.260000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+42.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.160000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.440000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+43.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.540000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="5.440000"/></proof>
<proof prover="6"><result status="valid" time="26.990000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+44.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.860000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+45.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+46.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.810000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="70.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+47.p">
<proof prover="0"><result status="valid" time="15.570000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.180000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="valid" time="88.740000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+48.p">
<proof prover="0"><result status="valid" time="15.940000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.190000"/></proof>
<proof prover="5"><result status="valid" time="8.080000"/></proof>
<proof prover="6"><result status="valid" time="87.850000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+49.p">
<proof prover="0"><result status="valid" time="15.590000"/></proof>
<proof prover="1"><result status="timeout" time="60.200000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="2.100000"/></proof>
<proof prover="6"><result status="valid" time="0.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.400000"/></proof>
<proof prover="5"><result status="valid" time="9.280000"/></proof>
<proof prover="6"><result status="valid" time="0.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+50.p">
<proof prover="0"><result status="valid" time="15.690000"/></proof>
<proof prover="1"><result status="timeout" time="60.360000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="timeout" time="60.310000"/></proof>
<proof prover="5"><result status="valid" time="2.070000"/></proof>
<proof prover="6"><result status="valid" time="0.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+51.p">
<proof prover="0"><result status="valid" time="8.230000"/></proof>
<proof prover="1"><result status="valid" time="2.900000"/></proof>
<proof prover="2"><result status="valid" time="0.670000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="valid" time="11.650000"/></proof>
<proof prover="5"><result status="valid" time="12.190000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+52.p">
<proof prover="0"><result status="valid" time="8.260000"/></proof>
<proof prover="1"><result status="valid" time="2.920000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="valid" time="11.650000"/></proof>
<proof prover="5"><result status="valid" time="4.880000"/></proof>
<proof prover="6"><result status="valid" time="0.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+53.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.110000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.190000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+54.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.220000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.020000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="9.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+55.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.020000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="4.750000"/></proof>
<proof prover="6"><result status="timeout" time="66.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+56.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.530000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.260000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+57.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.190000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+58.p">
<proof prover="0"><result status="valid" time="20.680000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.670000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="2.060000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+59.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.530000"/></proof>
<proof prover="5"><result status="valid" time="45.460000"/></proof>
<proof prover="6"><result status="valid" time="0.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+5.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.320000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="5.590000"/></proof>
<proof prover="6"><result status="valid" time="0.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+60.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.180000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.400000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.130000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+61.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="11.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+62.p">
<proof prover="0"><result status="valid" time="15.720000"/></proof>
<proof prover="1"><result status="timeout" time="60.220000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.650000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="85.560000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+63.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.530000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.220000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="68.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+64.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.190000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+65.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.660000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="45.270000"/></proof>
<proof prover="6"><result status="timeout" time="61.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+66.p">
<proof prover="0"><result status="valid" time="30.800000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="84.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+67.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="62.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+68.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+69.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.200000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.300000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="60.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+6.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.370000"/></proof>
<proof prover="5"><result status="valid" time="5.450000"/></proof>
<proof prover="6"><result status="valid" time="27.020000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+70.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.440000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.340000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="13.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+71.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.120000"/></proof>
<proof prover="6"><result status="valid" time="13.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+72.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.810000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+73.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.540000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.380000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+74.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.310000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+75.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.640000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+76.p">
<proof prover="0"><result status="valid" time="8.230000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.400000"/></proof>
<proof prover="5"><result status="valid" time="4.890000"/></proof>
<proof prover="6"><result status="valid" time="21.630000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+77.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.730000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.220000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="12.550000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+78.p">
<proof prover="0"><result status="valid" time="8.210000"/></proof>
<proof prover="1"><result status="timeout" time="60.480000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.280000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="21.620000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+79.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.820000"/></proof>
<proof prover="5"><result status="timeout" time="60.200000"/></proof>
<proof prover="6"><result status="valid" time="13.070000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+7.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.870000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.410000"/></proof>
<proof prover="5"><result status="valid" time="45.340000"/></proof>
<proof prover="6"><result status="valid" time="0.570000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+80.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.530000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="62.200000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+81.p">
<proof prover="0"><result status="valid" time="8.290000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="4.760000"/></proof>
<proof prover="6"><result status="valid" time="0.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+82.p">
<proof prover="0"><result status="valid" time="20.290000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="0.310000"/></proof>
<proof prover="6"><result status="valid" time="0.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+83.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.900000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.030000"/></proof>
<proof prover="5"><result status="valid" time="45.260000"/></proof>
<proof prover="6"><result status="timeout" time="67.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+84.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.640000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.230000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+85.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.350000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="69.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+86.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.630000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.490000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="12.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+87.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.350000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.970000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+88.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.680000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.450000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+89.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.190000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="62.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+8.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.220000"/></proof>
<proof prover="2"><result status="valid" time="0.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="59.010000"/></proof>
<proof prover="6"><result status="valid" time="0.720000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+90.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.710000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+91.p">
<proof prover="0"><result status="valid" time="47.890000"/></proof>
<proof prover="1"><result status="timeout" time="60.270000"/></proof>
<proof prover="2"><result status="valid" time="0.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="valid" time="2.130000"/></proof>
<proof prover="6"><result status="valid" time="22.960000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+92.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.330000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.420000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="12.970000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+93.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.860000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.280000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+94.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.320000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="4.760000"/></proof>
<proof prover="6"><result status="timeout" time="67.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+95.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.260000"/></proof>
<proof prover="2"><result status="valid" time="0.860000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.470000"/></proof>
<proof prover="5"><result status="valid" time="45.360000"/></proof>
<proof prover="6"><result status="timeout" time="63.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+96.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.570000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="68.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+97.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.490000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="61.020000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="66.260000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+98.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.410000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+99.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.320000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="13.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR115+9.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="valid" time="4.780000"/></proof>
<proof prover="6"><result status="timeout" time="67.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+10.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.610000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+11.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.920000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="67.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+12.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.320000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+13.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.270000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.800000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+14.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.550000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.250000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+15.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.500000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="61.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+16.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+17.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.290000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.500000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+18.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.410000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.430000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="61.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+19.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.410000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="61.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+1.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="unknown" time="61.270000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.500000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="63.170000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+20.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="70.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+21.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="62.240000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+22.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.510000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.840000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="63.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+23.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+24.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.200000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+25.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+26.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.760000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="68.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+27.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.250000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.970000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="66.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+28.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="73.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+29.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.340000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.290000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="64.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+30.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.170000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="63.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+31.p">
<proof prover="0"><result status="valid" time="8.690000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.300000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="valid" time="23.180000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+32.p">
<proof prover="0"><result status="valid" time="9.470000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.410000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="23.240000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+33.p">
<proof prover="0"><result status="valid" time="9.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.610000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="valid" time="24.790000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+34.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.460000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+35.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.570000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="65.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+36.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.240000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+37.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.290000"/></proof>
<proof prover="2"><result status="valid" time="0.730000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.220000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+38.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.160000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="66.310000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+39.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.110000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="69.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.240000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.200000"/></proof>
<proof prover="6"><result status="timeout" time="63.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+40.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.260000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.140000"/></proof>
<proof prover="5"><result status="timeout" time="60.150000"/></proof>
<proof prover="6"><result status="timeout" time="68.260000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+41.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.300000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="65.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+42.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.360000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="69.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+43.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.170000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="65.260000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+44.p">
<proof prover="0"><result status="valid" time="8.380000"/></proof>
<proof prover="1"><result status="unknown" time="61.210000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="23.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+45.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="64.300000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+46.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.760000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="67.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+47.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.770000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.210000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="62.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.710000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.280000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+5.p">
<proof prover="0"><result status="valid" time="14.790000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.110000"/></proof>
<proof prover="5"><result status="timeout" time="60.190000"/></proof>
<proof prover="6"><result status="valid" time="87.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+6.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.190000"/></proof>
<proof prover="2"><result status="valid" time="0.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.130000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="60.230000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+7.p">
<proof prover="0"><result status="valid" time="8.270000"/></proof>
<proof prover="1"><result status="unknown" time="61.200000"/></proof>
<proof prover="2"><result status="valid" time="0.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.010000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="valid" time="23.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+8.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.090000"/></proof>
<proof prover="2"><result status="valid" time="0.760000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.240000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="66.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/CSR/CSR116+9.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.180000"/></proof>
<proof prover="2"><result status="valid" time="0.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="68.330000"/></proof>
</goal>
</theory>
</file>
</why3session>
