<?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/FLD.why">
<theory name="Goals">
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD001-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.810000"/></proof>
<proof prover="2"><result status="valid" time="0.550000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.680000"/></proof>
<proof prover="5"><result status="valid" time="6.310000"/></proof>
<proof prover="6"><result status="valid" time="0.070000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD002-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="15.690000"/></proof>
<proof prover="2"><result status="valid" time="0.140000"/></proof>
<proof prover="3"><result status="valid" time="3.280000"/></proof>
<proof prover="4"><result status="valid" time="29.890000"/></proof>
<proof prover="5"><result status="valid" time="5.980000"/></proof>
<proof prover="6"><result status="valid" time="1.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD003-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="timeout" time="60.200000"/></proof>
<proof prover="3"><result status="valid" time="44.450000"/></proof>
<proof prover="4"><result status="timeout" time="60.230000"/></proof>
<proof prover="5"><result status="valid" time="43.130000"/></proof>
<proof prover="6"><result status="valid" time="0.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD004-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.720000"/></proof>
<proof prover="2"><result status="timeout" time="60.190000"/></proof>
<proof prover="3"><result status="valid" time="40.910000"/></proof>
<proof prover="4"><result status="timeout" time="60.180000"/></proof>
<proof prover="5"><result status="valid" time="46.100000"/></proof>
<proof prover="6"><result status="valid" time="29.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD005-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.030000"/></proof>
<proof prover="2"><result status="valid" time="0.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.660000"/></proof>
<proof prover="5"><result status="valid" time="5.040000"/></proof>
<proof prover="6"><result status="valid" time="1.710000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD005-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="valid" time="0.160000"/></proof>
<proof prover="3"><result status="valid" time="1.290000"/></proof>
<proof prover="4"><result status="timeout" time="60.400000"/></proof>
<proof prover="5"><result status="valid" time="0.500000"/></proof>
<proof prover="6"><result status="valid" time="0.800000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD006-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="valid" time="0.380000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="timeout" time="60.180000"/></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/FLD/FLD006-3.p">
<proof prover="0"><result status="valid" time="2.610000"/></proof>
<proof prover="1"><result status="valid" time="0.730000"/></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="1.520000"/></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/FLD/FLD007-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="2.150000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD007-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.510000"/></proof>
<proof prover="4"><result status="unknown" time="61.110000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.070000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD008-1.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="outofmemory" time="55.670000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD008-2.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="outofmemory" time="54.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.110000"/></proof>
<proof prover="5"><result status="unknown" time="60.090000"/></proof>
<proof prover="6"><result status="timeout" time="36.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD008-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.280000"/></proof>
<proof prover="2"><result status="timeout" time="60.270000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.480000"/></proof>
<proof prover="5"><result status="unknown" time="60.030000"/></proof>
<proof prover="6"><result status="timeout" time="36.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD008-4.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.090000"/></proof>
<proof prover="3"><result status="timeout" time="60.870000"/></proof>
<proof prover="4"><result status="timeout" time="60.610000"/></proof>
<proof prover="5"><result status="valid" time="1.550000"/></proof>
<proof prover="6"><result status="valid" time="30.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD009-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="53.210000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.430000"/></proof>
<proof prover="5"><result status="valid" time="4.640000"/></proof>
<proof prover="6"><result status="valid" time="28.180000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD009-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.580000"/></proof>
<proof prover="2"><result status="outofmemory" time="58.720000"/></proof>
<proof prover="3"><result status="valid" time="1.090000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="1.800000"/></proof>
<proof prover="6"><result status="valid" time="28.160000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD010-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="2.320000"/></proof>
<proof prover="2"><result status="valid" time="0.190000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="valid" time="10.010000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.170000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD010-3.p">
<proof prover="0"><result status="valid" time="2.880000"/></proof>
<proof prover="1"><result status="valid" time="0.580000"/></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="1.180000"/></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/FLD/FLD010-5.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="23.240000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="2.560000"/></proof>
<proof prover="4"><result status="valid" time="38.920000"/></proof>
<proof prover="5"><result status="valid" time="0.300000"/></proof>
<proof prover="6"><result status="valid" time="0.130000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD011-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.730000"/></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="unknown" time="60.120000"/></proof>
<proof prover="6"><result status="timeout" time="38.540000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD011-3.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="outofmemory" time="58.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.200000"/></proof>
<proof prover="5"><result status="valid" time="4.300000"/></proof>
<proof prover="6"><result status="timeout" time="35.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD012-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.210000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD012-2.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="timeout" time="60.590000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.240000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.630000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD012-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="outofmemory" time="54.570000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="unknown" time="59.980000"/></proof>
<proof prover="6"><result status="timeout" time="37.490000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD012-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="valid" time="2.010000"/></proof>
<proof prover="3"><result status="valid" time="15.720000"/></proof>
<proof prover="4"><result status="timeout" time="60.180000"/></proof>
<proof prover="5"><result status="valid" time="7.580000"/></proof>
<proof prover="6"><result status="timeout" time="37.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD013-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="0.280000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="4.010000"/></proof>
<proof prover="6"><result status="valid" time="0.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD013-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.880000"/></proof>
<proof prover="2"><result status="valid" time="0.050000"/></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="53.830000"/></proof>
<proof prover="6"><result status="valid" time="4.980000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD013-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.000000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="timeout" time="60.840000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD013-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.050000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.250000"/></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="1.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD013-5.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.470000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.220000"/></proof>
<proof prover="4"><result status="timeout" time="60.800000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="1.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD014-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="38.920000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.020000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD014-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="timeout" time="60.350000"/></proof>
<proof prover="5"><result status="valid" time="1.310000"/></proof>
<proof prover="6"><result status="valid" time="27.660000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD015-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.450000"/></proof>
<proof prover="2"><result status="valid" time="4.930000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD015-3.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.010000"/></proof>
<proof prover="3"><result status="valid" time="0.300000"/></proof>
<proof prover="4"><result status="timeout" time="60.410000"/></proof>
<proof prover="5"><result status="valid" time="0.030000"/></proof>
<proof prover="6"><result status="valid" time="0.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD016-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="valid" time="5.980000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD016-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.450000"/></proof>
<proof prover="2"><result status="valid" time="0.080000"/></proof>
<proof prover="3"><result status="valid" time="0.390000"/></proof>
<proof prover="4"><result status="unknown" time="61.040000"/></proof>
<proof prover="5"><result status="valid" time="2.460000"/></proof>
<proof prover="6"><result status="valid" time="1.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD016-5.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.180000"/></proof>
<proof prover="2"><result status="valid" time="0.200000"/></proof>
<proof prover="3"><result status="valid" time="31.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.330000"/></proof>
<proof prover="5"><result status="valid" time="24.680000"/></proof>
<proof prover="6"><result status="valid" time="1.260000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD017-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.090000"/></proof>
<proof prover="4"><result status="timeout" time="60.660000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD017-3.p">
<proof prover="0"><result status="valid" time="4.140000"/></proof>
<proof prover="1"><result status="timeout" time="60.300000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD018-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.810000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="valid" time="13.380000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="valid" time="0.180000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD018-3.p">
<proof prover="0"><result status="valid" time="11.190000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="27.720000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD019-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.250000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.050000"/></proof>
<proof prover="5"><result status="valid" time="0.280000"/></proof>
<proof prover="6"><result status="timeout" time="35.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD019-3.p">
<proof prover="0"><result status="valid" time="11.980000"/></proof>
<proof prover="1"><result status="valid" time="2.830000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.040000"/></proof>
<proof prover="4"><result status="valid" time="4.790000"/></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/FLD/FLD020-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="3.400000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD020-3.p">
<proof prover="0"><result status="valid" time="34.780000"/></proof>
<proof prover="1"><result status="valid" time="32.700000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.120000"/></proof>
<proof prover="5"><result status="valid" time="0.220000"/></proof>
<proof prover="6"><result status="valid" time="31.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD021-1.p">
<proof prover="0"><result status="valid" time="22.100000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.170000"/></proof>
<proof prover="4"><result status="timeout" time="60.260000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.030000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD021-3.p">
<proof prover="0"><result status="valid" time="33.870000"/></proof>
<proof prover="1"><result status="valid" time="7.430000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.330000"/></proof>
<proof prover="4"><result status="valid" time="19.710000"/></proof>
<proof prover="5"><result status="valid" time="0.040000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD022-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="17.200000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD022-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.670000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="0.710000"/></proof>
<proof prover="4"><result status="timeout" time="60.050000"/></proof>
<proof prover="5"><result status="valid" time="1.860000"/></proof>
<proof prover="6"><result status="valid" time="1.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD023-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.150000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="valid" time="0.230000"/></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.640000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD023-3.p">
<proof prover="0"><result status="valid" time="33.580000"/></proof>
<proof prover="1"><result status="timeout" time="60.540000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD024-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="2.720000"/></proof>
<proof prover="3"><result status="timeout" time="61.020000"/></proof>
<proof prover="4"><result status="timeout" time="60.360000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD024-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="55.930000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="0.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD025-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="valid" time="0.270000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="4.350000"/></proof>
<proof prover="6"><result status="valid" time="0.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD025-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.060000"/></proof>
<proof prover="3"><result status="valid" time="25.360000"/></proof>
<proof prover="4"><result status="timeout" time="60.440000"/></proof>
<proof prover="5"><result status="valid" time="0.320000"/></proof>
<proof prover="6"><result status="timeout" time="38.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD025-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.080000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></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="valid" time="0.040000"/></proof>
<proof prover="6"><result status="valid" time="0.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD025-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.390000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.250000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="1.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD025-5.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.000000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.760000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="1.290000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD026-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.560000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.130000"/></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="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD026-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.280000"/></proof>
<proof prover="2"><result status="valid" time="23.920000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="5.970000"/></proof>
<proof prover="6"><result status="timeout" time="37.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD027-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.850000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.980000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD027-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.850000"/></proof>
<proof prover="2"><result status="valid" time="0.160000"/></proof>
<proof prover="3"><result status="valid" time="0.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.920000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="1.220000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD028-1.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="outofmemory" time="43.790000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.050000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD028-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="valid" time="0.180000"/></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="valid" time="27.230000"/></proof>
<proof prover="6"><result status="valid" time="22.580000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD029-1.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="outofmemory" time="41.850000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.120000"/></proof>
<proof prover="6"><result status="timeout" time="37.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD029-3.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="timeout" time="61.060000"/></proof>
<proof prover="2"><result status="valid" time="0.360000"/></proof>
<proof prover="3"><result status="valid" time="59.950000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="5.800000"/></proof>
<proof prover="6"><result status="timeout" time="37.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD030-1.p">
<proof prover="0"><result status="valid" time="0.370000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="timeout" time="60.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/FLD/FLD030-2.p">
<proof prover="0"><result status="valid" time="3.670000"/></proof>
<proof prover="1"><result status="timeout" time="60.870000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="0.090000"/></proof>
<proof prover="4"><result status="timeout" time="60.210000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD030-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.800000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="1.380000"/></proof>
<proof prover="4"><result status="timeout" time="60.040000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD030-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.080000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="unknown" time="61.160000"/></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/FLD/FLD031-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.120000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="valid" time="22.690000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="0.290000"/></proof>
<proof prover="6"><result status="valid" time="29.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD031-3.p">
<proof prover="0"><result status="valid" time="11.650000"/></proof>
<proof prover="1"><result status="valid" time="6.950000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="12.450000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD031-5.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="valid" time="0.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.070000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD032-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="0.210000"/></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="valid" time="0.890000"/></proof>
<proof prover="6"><result status="valid" time="29.240000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD032-3.p">
<proof prover="0"><result status="valid" time="11.540000"/></proof>
<proof prover="1"><result status="valid" time="2.300000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.020000"/></proof>
<proof prover="4"><result status="valid" time="4.260000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD033-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.930000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.920000"/></proof>
<proof prover="3"><result status="valid" time="50.800000"/></proof>
<proof prover="4"><result status="timeout" time="60.740000"/></proof>
<proof prover="5"><result status="unknown" time="60.070000"/></proof>
<proof prover="6"><result status="timeout" time="37.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD033-3.p">
<proof prover="0"><result status="valid" time="34.610000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="valid" time="0.090000"/></proof>
<proof prover="3"><result status="valid" time="0.150000"/></proof>
<proof prover="4"><result status="timeout" time="60.380000"/></proof>
<proof prover="5"><result status="valid" time="0.120000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD034-1.p">
<proof prover="0"><result status="valid" time="22.000000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></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="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD034-3.p">
<proof prover="0"><result status="valid" time="34.520000"/></proof>
<proof prover="1"><result status="valid" time="8.820000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.200000"/></proof>
<proof prover="4"><result status="valid" time="16.250000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD035-1.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="outofmemory" time="44.470000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="unknown" time="60.030000"/></proof>
<proof prover="6"><result status="timeout" time="36.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD035-3.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.180000"/></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.100000"/></proof>
<proof prover="6"><result status="valid" time="28.210000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD036-1.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="outofmemory" time="54.140000"/></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="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD036-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="valid" time="0.180000"/></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="29.410000"/></proof>
<proof prover="6"><result status="valid" time="28.780000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD037-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="valid" time="0.670000"/></proof>
<proof prover="3"><result status="valid" time="0.350000"/></proof>
<proof prover="4"><result status="timeout" time="60.120000"/></proof>
<proof prover="5"><result status="valid" time="0.040000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD037-3.p">
<proof prover="0"><result status="valid" time="34.870000"/></proof>
<proof prover="1"><result status="timeout" time="60.520000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.050000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD038-1.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="outofmemory" time="43.610000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.150000"/></proof>
<proof prover="5"><result status="unknown" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD038-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="41.130000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD039-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/FLD/FLD039-3.p">
<proof prover="0"><result status="valid" time="11.750000"/></proof>
<proof prover="1"><result status="valid" time="0.310000"/></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.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/FLD/FLD040-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.670000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.130000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD040-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="valid" time="50.910000"/></proof>
<proof prover="2"><result status="valid" time="0.320000"/></proof>
<proof prover="3"><result status="valid" time="16.310000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="valid" time="0.490000"/></proof>
<proof prover="6"><result status="valid" time="67.600000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD040-5.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="38.330000"/></proof>
<proof prover="2"><result status="valid" time="0.320000"/></proof>
<proof prover="3"><result status="valid" time="1.480000"/></proof>
<proof prover="4"><result status="timeout" time="60.060000"/></proof>
<proof prover="5"><result status="valid" time="0.690000"/></proof>
<proof prover="6"><result status="valid" time="17.710000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD041-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD041-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="43.220000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD041-3.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="timeout" time="60.330000"/></proof>
<proof prover="2"><result status="valid" time="2.860000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="valid" time="8.190000"/></proof>
<proof prover="6"><result status="timeout" time="34.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD041-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="2.890000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.360000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD043-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.620000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.410000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD043-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="valid" time="43.890000"/></proof>
<proof prover="2"><result status="valid" time="0.040000"/></proof>
<proof prover="3"><result status="valid" time="0.640000"/></proof>
<proof prover="4"><result status="timeout" time="60.820000"/></proof>
<proof prover="5"><result status="valid" time="0.340000"/></proof>
<proof prover="6"><result status="valid" time="30.120000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD043-5.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.560000"/></proof>
<proof prover="2"><result status="valid" time="5.500000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.510000"/></proof>
<proof prover="5"><result status="unknown" time="60.060000"/></proof>
<proof prover="6"><result status="timeout" time="39.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD044-1.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="outofmemory" time="45.060000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.100000"/></proof>
<proof prover="5"><result status="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD044-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="41.410000"/></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="unknown" time="60.080000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD044-3.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="outofmemory" time="47.010000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="timeout" time="60.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD044-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.960000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="41.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD045-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.830000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.100000"/></proof>
<proof prover="5"><result status="unknown" time="60.080000"/></proof>
<proof prover="6"><result status="timeout" time="38.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD045-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.440000"/></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="unknown" time="59.710000"/></proof>
<proof prover="6"><result status="timeout" time="36.690000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD045-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="54.090000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.760000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD045-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.750000"/></proof>
<proof prover="5"><result status="unknown" time="60.090000"/></proof>
<proof prover="6"><result status="timeout" time="35.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD046-1.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="outofmemory" time="45.870000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.110000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD046-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.820000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.030000"/></proof>
<proof prover="5"><result status="timeout" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD047-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="timeout" time="60.290000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.740000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD047-2.p">
<proof prover="0"><result status="timeout" time="60.030000"/></proof>
<proof prover="1"><result status="timeout" time="60.960000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.130000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.190000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD047-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="53.180000"/></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="unknown" time="60.020000"/></proof>
<proof prover="6"><result status="timeout" time="39.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD047-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="valid" time="3.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD048-1.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="outofmemory" time="55.330000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD048-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="outofmemory" time="46.940000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.510000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD048-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="timeout" time="60.230000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD048-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.080000"/></proof>
<proof prover="2"><result status="valid" time="4.460000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD049-1.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="outofmemory" time="42.530000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD049-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="outofmemory" time="42.380000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD049-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.960000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.630000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="0.700000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD049-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.800000"/></proof>
<proof prover="2"><result status="valid" time="0.230000"/></proof>
<proof prover="3"><result status="valid" time="1.150000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="0.040000"/></proof>
<proof prover="6"><result status="timeout" time="37.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD050-1.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="outofmemory" time="42.500000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD050-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.280000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.120000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD050-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="49.480000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.050000"/></proof>
<proof prover="5"><result status="unknown" time="60.110000"/></proof>
<proof prover="6"><result status="timeout" time="38.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD050-4.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.180000"/></proof>
<proof prover="3"><result status="valid" time="14.280000"/></proof>
<proof prover="4"><result status="timeout" time="60.540000"/></proof>
<proof prover="5"><result status="unknown" time="60.100000"/></proof>
<proof prover="6"><result status="timeout" time="38.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD051-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="54.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="38.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD051-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.950000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.960000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="39.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD051-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.050000"/></proof>
<proof prover="2"><result status="timeout" time="60.220000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.360000"/></proof>
<proof prover="5"><result status="unknown" time="60.020000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD051-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.850000"/></proof>
<proof prover="5"><result status="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="34.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD052-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="timeout" time="60.230000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD052-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="outofmemory" time="44.460000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD052-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="timeout" time="60.210000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.090000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD052-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.070000"/></proof>
<proof prover="2"><result status="valid" time="15.290000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD053-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.920000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.100000"/></proof>
<proof prover="6"><result status="timeout" time="37.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD053-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="outofmemory" time="42.950000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="unknown" time="60.020000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD053-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="timeout" time="60.200000"/></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="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD053-4.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="outofmemory" time="52.030000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="39.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD054-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="timeout" time="60.210000"/></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="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD054-2.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="outofmemory" time="45.490000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.150000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD054-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.910000"/></proof>
<proof prover="2"><result status="outofmemory" time="54.230000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD054-4.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="outofmemory" time="46.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="unknown" time="60.080000"/></proof>
<proof prover="6"><result status="timeout" time="38.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD055-1.p">
<proof prover="0"><result status="valid" time="0.110000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.110000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.580000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD055-3.p">
<proof prover="0"><result status="valid" time="0.080000"/></proof>
<proof prover="1"><result status="valid" time="17.340000"/></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="34.660000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.250000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD056-1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.180000"/></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.590000"/></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/FLD/FLD056-3.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="0.110000"/></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.180000"/></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/FLD/FLD057-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="25.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.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD057-3.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="outofmemory" time="24.780000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="timeout" time="60.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD058-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.960000"/></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.810000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="29.880000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD058-3.p">
<proof prover="0"><result status="valid" time="56.980000"/></proof>
<proof prover="1"><result status="valid" time="3.420000"/></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="6.960000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="26.980000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD059-1.p">
<proof prover="0"><result status="valid" time="0.080000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="30.200000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="valid" time="0.440000"/></proof>
<proof prover="6"><result status="valid" time="0.520000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD059-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="17.420000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.090000"/></proof>
<proof prover="6"><result status="valid" time="1.680000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD059-3.p">
<proof prover="0"><result status="valid" time="0.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.480000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="11.380000"/></proof>
<proof prover="4"><result status="timeout" time="60.640000"/></proof>
<proof prover="5"><result status="valid" time="0.190000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD059-4.p">
<proof prover="0"><result status="valid" time="0.060000"/></proof>
<proof prover="1"><result status="valid" time="14.240000"/></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="28.990000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.160000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD060-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></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="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="valid" time="39.380000"/></proof>
<proof prover="6"><result status="valid" time="0.100000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD060-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.020000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="valid" time="0.890000"/></proof>
<proof prover="6"><result status="valid" time="3.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD060-3.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.160000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="valid" time="31.130000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD060-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.170000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.520000"/></proof>
<proof prover="5"><result status="valid" time="1.080000"/></proof>
<proof prover="6"><result status="valid" time="29.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD061-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="valid" time="0.110000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.320000"/></proof>
<proof prover="5"><result status="valid" time="45.500000"/></proof>
<proof prover="6"><result status="valid" time="0.110000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD061-2.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.030000"/></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="valid" time="12.920000"/></proof>
<proof prover="6"><result status="valid" time="28.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD061-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.080000"/></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="timeout" time="60.750000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD061-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.650000"/></proof>
<proof prover="2"><result status="valid" time="0.040000"/></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="valid" time="1.350000"/></proof>
<proof prover="6"><result status="valid" time="36.320000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD062-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.280000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.320000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.620000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD062-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.360000"/></proof>
<proof prover="2"><result status="valid" time="0.790000"/></proof>
<proof prover="3"><result status="timeout" time="60.950000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.120000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD063-1.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="outofmemory" time="45.280000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.960000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD063-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.980000"/></proof>
<proof prover="2"><result status="valid" time="1.350000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.110000"/></proof>
<proof prover="5"><result status="valid" time="3.360000"/></proof>
<proof prover="6"><result status="timeout" time="36.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD064-1.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.020000"/></proof>
<proof prover="3"><result status="valid" time="32.540000"/></proof>
<proof prover="4"><result status="timeout" time="60.250000"/></proof>
<proof prover="5"><result status="valid" time="0.860000"/></proof>
<proof prover="6"><result status="valid" time="47.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD064-3.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.000000"/></proof>
<proof prover="3"><result status="valid" time="11.230000"/></proof>
<proof prover="4"><result status="unknown" time="61.110000"/></proof>
<proof prover="5"><result status="valid" time="0.070000"/></proof>
<proof prover="6"><result status="valid" time="1.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD065-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></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="0.240000"/></proof>
<proof prover="6"><result status="timeout" time="39.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD065-3.p">
<proof prover="0"><result status="valid" time="0.090000"/></proof>
<proof prover="1"><result status="valid" time="2.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="valid" time="4.770000"/></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/FLD/FLD066-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.680000"/></proof>
<proof prover="2"><result status="valid" time="15.510000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.130000"/></proof>
<proof prover="5"><result status="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD066-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.080000"/></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="valid" time="29.070000"/></proof>
<proof prover="6"><result status="valid" time="32.140000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD067-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.220000"/></proof>
<proof prover="4"><result status="timeout" time="60.160000"/></proof>
<proof prover="5"><result status="valid" time="0.020000"/></proof>
<proof prover="6"><result status="valid" time="0.560000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD067-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.650000"/></proof>
<proof prover="2"><result status="valid" time="0.540000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.140000"/></proof>
<proof prover="6"><result status="valid" time="2.330000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD067-3.p">
<proof prover="0"><result status="timeout" time="60.060000"/></proof>
<proof prover="1"><result status="timeout" time="60.170000"/></proof>
<proof prover="2"><result status="valid" time="0.070000"/></proof>
<proof prover="3"><result status="valid" time="0.420000"/></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="1.060000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD067-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.080000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="0.010000"/></proof>
<proof prover="4"><result status="timeout" time="60.140000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.150000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD068-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.160000"/></proof>
<proof prover="2"><result status="valid" time="2.640000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD068-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="23.370000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.290000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD068-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="valid" time="0.150000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.790000"/></proof>
<proof prover="5"><result status="valid" time="16.110000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD068-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.170000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="2.340000"/></proof>
<proof prover="4"><result status="timeout" time="61.060000"/></proof>
<proof prover="5"><result status="valid" time="0.110000"/></proof>
<proof prover="6"><result status="timeout" time="35.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD069-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.090000"/></proof>
<proof prover="2"><result status="valid" time="0.020000"/></proof>
<proof prover="3"><result status="valid" time="19.710000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="valid" time="0.090000"/></proof>
<proof prover="6"><result status="valid" time="30.920000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD069-3.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="valid" time="15.680000"/></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="27.760000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="26.640000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD070-1.p">
<proof prover="0"><result status="valid" time="0.180000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="valid" time="0.010000"/></proof>
<proof prover="3"><result status="valid" time="36.640000"/></proof>
<proof prover="4"><result status="timeout" time="60.230000"/></proof>
<proof prover="5"><result status="valid" time="0.450000"/></proof>
<proof prover="6"><result status="valid" time="0.530000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD070-2.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.010000"/></proof>
<proof prover="3"><result status="valid" time="41.490000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.210000"/></proof>
<proof prover="6"><result status="valid" time="2.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD070-3.p">
<proof prover="0"><result status="valid" time="0.070000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="16.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.420000"/></proof>
<proof prover="6"><result status="valid" time="0.040000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD070-4.p">
<proof prover="0"><result status="valid" time="0.090000"/></proof>
<proof prover="1"><result status="valid" time="1.700000"/></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="3.160000"/></proof>
<proof prover="5"><result status="valid" time="0.000000"/></proof>
<proof prover="6"><result status="valid" time="1.190000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD071-1.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="timeout" time="61.090000"/></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.760000"/></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/FLD/FLD071-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="valid" time="0.030000"/></proof>
<proof prover="3"><result status="valid" time="0.120000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="valid" time="0.010000"/></proof>
<proof prover="6"><result status="valid" time="0.560000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD071-3.p">
<proof prover="0"><result status="valid" time="0.030000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="valid" time="0.000000"/></proof>
<proof prover="3"><result status="valid" time="0.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.520000"/></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/FLD/FLD071-4.p">
<proof prover="0"><result status="valid" time="0.000000"/></proof>
<proof prover="1"><result status="valid" time="8.000000"/></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="15.150000"/></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/FLD/FLD072-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.590000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.680000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="38.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD072-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.280000"/></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="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="39.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD072-3.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="outofmemory" time="45.130000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD072-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.220000"/></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="unknown" time="60.050000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD073-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.950000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.530000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="34.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD073-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="outofmemory" time="45.130000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD073-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.450000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.110000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD073-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.550000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.330000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.110000"/></proof>
<proof prover="5"><result status="unknown" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD074-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.070000"/></proof>
<proof prover="2"><result status="outofmemory" time="43.190000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="61.010000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD074-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.810000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD074-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.950000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.130000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD074-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.750000"/></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="unknown" time="60.060000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD075-1.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="outofmemory" time="42.300000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.130000"/></proof>
<proof prover="6"><result status="timeout" time="37.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD075-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="outofmemory" time="44.420000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.480000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD075-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.880000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.690000"/></proof>
<proof prover="5"><result status="unknown" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD075-4.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="outofmemory" time="44.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.990000"/></proof>
<proof prover="5"><result status="unknown" time="59.980000"/></proof>
<proof prover="6"><result status="timeout" time="37.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD076-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.060000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.100000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD076-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="outofmemory" time="42.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="timeout" time="60.460000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.360000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD076-3.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="outofmemory" time="44.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.290000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD076-4.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="outofmemory" time="45.480000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.150000"/></proof>
<proof prover="6"><result status="timeout" time="38.490000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD077-1.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="outofmemory" time="42.380000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD077-2.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="outofmemory" time="42.410000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD077-3.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="outofmemory" time="46.200000"/></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="unknown" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD077-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.590000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.250000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.370000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD078-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.360000"/></proof>
<proof prover="2"><result status="outofmemory" time="43.910000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.140000"/></proof>
<proof prover="5"><result status="unknown" time="60.120000"/></proof>
<proof prover="6"><result status="timeout" time="37.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD078-2.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="outofmemory" time="45.610000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD078-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.310000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.040000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD078-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.000000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.050000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD079-1.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="outofmemory" time="46.380000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.070000"/></proof>
<proof prover="5"><result status="unknown" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD079-2.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="outofmemory" time="44.980000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD079-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.690000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.680000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="59.980000"/></proof>
<proof prover="6"><result status="timeout" time="37.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD079-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.970000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="unknown" time="60.180000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD080-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="42.150000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD080-2.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.150000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.700000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="unknown" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="37.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD080-3.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="outofmemory" time="45.330000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD080-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.880000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.540000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="38.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD081-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="49.050000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.270000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD081-2.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="outofmemory" time="41.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="unknown" time="59.740000"/></proof>
<proof prover="6"><result status="timeout" time="37.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD081-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.190000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD081-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.060000"/></proof>
<proof prover="2"><result status="timeout" time="60.240000"/></proof>
<proof prover="3"><result status="timeout" time="61.020000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="unknown" time="60.150000"/></proof>
<proof prover="6"><result status="timeout" time="35.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD082-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="54.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.050000"/></proof>
<proof prover="6"><result status="timeout" time="36.480000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD082-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="51.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.520000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD083-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.600000"/></proof>
<proof prover="2"><result status="outofmemory" time="51.080000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.370000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD083-3.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="outofmemory" time="52.830000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="39.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD084-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.400000"/></proof>
<proof prover="2"><result status="outofmemory" time="51.630000"/></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="unknown" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="38.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD084-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.950000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.100000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD085-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.060000"/></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="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD085-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.860000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.080000"/></proof>
<proof prover="3"><result status="timeout" time="60.990000"/></proof>
<proof prover="4"><result status="timeout" time="60.760000"/></proof>
<proof prover="5"><result status="unknown" time="60.020000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD086-1.p">
<proof prover="0"><result status="timeout" time="60.010000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.340000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD086-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="outofmemory" time="46.420000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.150000"/></proof>
<proof prover="6"><result status="timeout" time="37.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD087-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="61.050000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.460000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="38.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD087-3.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="outofmemory" time="50.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.150000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD088-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.740000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.350000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD088-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="outofmemory" time="51.010000"/></proof>
<proof prover="3"><result status="timeout" time="61.030000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD089-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.890000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD089-3.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="outofmemory" time="51.980000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.060000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD090-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.140000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="38.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD090-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.090000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.750000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.040000"/></proof>
<proof prover="5"><result status="timeout" time="60.130000"/></proof>
<proof prover="6"><result status="timeout" time="40.510000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD091-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="45.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD091-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.520000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.060000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="timeout" time="60.580000"/></proof>
<proof prover="5"><result status="unknown" time="60.110000"/></proof>
<proof prover="6"><result status="timeout" time="37.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD092-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.970000"/></proof>
<proof prover="2"><result status="outofmemory" time="48.020000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD092-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.250000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.690000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.090000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD093-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.210000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.310000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD093-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="unknown" time="60.130000"/></proof>
<proof prover="6"><result status="timeout" time="37.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD094-1.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="49.860000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.040000"/></proof>
<proof prover="5"><result status="unknown" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD094-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.100000"/></proof>
<proof prover="2"><result status="outofmemory" time="49.050000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.760000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD095-1.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="outofmemory" time="57.150000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="38.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD095-2.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="outofmemory" time="47.260000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD095-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.640000"/></proof>
<proof prover="2"><result status="timeout" time="60.240000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD095-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.040000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.900000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></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="37.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD096-1.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="timeout" time="60.220000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.020000"/></proof>
<proof prover="6"><result status="timeout" time="37.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD096-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.770000"/></proof>
<proof prover="2"><result status="outofmemory" time="46.280000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD096-3.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.810000"/></proof>
<proof prover="2"><result status="timeout" time="60.210000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.450000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD096-4.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.080000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.090000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD097-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="51.430000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="unknown" time="61.080000"/></proof>
<proof prover="5"><result status="unknown" time="60.100000"/></proof>
<proof prover="6"><result status="timeout" time="37.460000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD097-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.850000"/></proof>
<proof prover="2"><result status="outofmemory" time="44.800000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.940000"/></proof>
<proof prover="5"><result status="unknown" time="59.990000"/></proof>
<proof prover="6"><result status="timeout" time="36.390000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD097-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="60.850000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.030000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.710000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD097-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.120000"/></proof>
<proof prover="2"><result status="valid" time="13.840000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD098-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="54.380000"/></proof>
<proof prover="3"><result status="timeout" time="61.040000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="37.470000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD098-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.130000"/></proof>
<proof prover="2"><result status="outofmemory" time="43.450000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="61.000000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="37.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD098-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="59.240000"/></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.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.440000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD098-4.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="outofmemory" time="43.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="37.410000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD099-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.120000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.610000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.080000"/></proof>
<proof prover="5"><result status="timeout" time="60.170000"/></proof>
<proof prover="6"><result status="timeout" time="35.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD099-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="55.920000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.310000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="35.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD099-3.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="outofmemory" time="56.550000"/></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.170000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD099-4.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="timeout" time="60.750000"/></proof>
<proof prover="2"><result status="outofmemory" time="52.530000"/></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="unknown" time="60.090000"/></proof>
<proof prover="6"><result status="timeout" time="36.380000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD100-1.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.110000"/></proof>
<proof prover="2"><result status="outofmemory" time="47.300000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.270000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.400000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD100-2.p">
<proof prover="0"><result status="timeout" time="60.050000"/></proof>
<proof prover="1"><result status="unknown" time="61.140000"/></proof>
<proof prover="2"><result status="outofmemory" time="39.830000"/></proof>
<proof prover="3"><result status="timeout" time="61.060000"/></proof>
<proof prover="4"><result status="unknown" time="61.070000"/></proof>
<proof prover="5"><result status="unknown" time="59.860000"/></proof>
<proof prover="6"><result status="timeout" time="36.420000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD100-3.p">
<proof prover="0"><result status="timeout" time="60.040000"/></proof>
<proof prover="1"><result status="timeout" time="61.050000"/></proof>
<proof prover="2"><result status="outofmemory" time="50.670000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.720000"/></proof>
<proof prover="5"><result status="timeout" time="60.140000"/></proof>
<proof prover="6"><result status="timeout" time="37.430000"/></proof>
</goal>
<goal name="/home/marche/TPTP-v6.2.0/Problems/FLD/FLD100-4.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="outofmemory" time="43.830000"/></proof>
<proof prover="3"><result status="timeout" time="61.050000"/></proof>
<proof prover="4"><result status="timeout" time="60.860000"/></proof>
<proof prover="5"><result status="timeout" time="60.160000"/></proof>
<proof prover="6"><result status="timeout" time="36.220000"/></proof>
</goal>
</theory>
</file>
</why3session>
