TSTP Solution File: SWW357+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW357+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 21 00:24:40 EDT 2022
% Result : Timeout 287.00s 247.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : SWW357+1 : TPTP v8.1.0. Released v5.2.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jun 5 07:17:35 EDT 2022
% 0.13/0.34 % CPUTime :
% 68.75/68.34 eprover: CPU time limit exceeded, terminating
% 71.24/70.36 eprover: CPU time limit exceeded, terminating
% 73.67/72.37 eprover: CPU time limit exceeded, terminating
% 76.13/74.38 eprover: CPU time limit exceeded, terminating
% 78.59/76.40 eprover: CPU time limit exceeded, terminating
% 81.12/78.41 eprover: CPU time limit exceeded, terminating
% 83.58/80.43 eprover: CPU time limit exceeded, terminating
% 86.07/82.44 eprover: CPU time limit exceeded, terminating
% 88.52/84.45 eprover: CPU time limit exceeded, terminating
% 91.05/86.47 eprover: CPU time limit exceeded, terminating
% 93.47/88.48 eprover: CPU time limit exceeded, terminating
% 95.96/90.50 eprover: CPU time limit exceeded, terminating
% 98.34/92.51 eprover: CPU time limit exceeded, terminating
% 100.81/94.52 eprover: CPU time limit exceeded, terminating
% 103.28/96.54 eprover: CPU time limit exceeded, terminating
% 105.74/98.55 eprover: CPU time limit exceeded, terminating
% 108.19/100.57 eprover: CPU time limit exceeded, terminating
% 110.64/102.58 eprover: CPU time limit exceeded, terminating
% 113.09/104.59 eprover: CPU time limit exceeded, terminating
% 115.54/106.61 eprover: CPU time limit exceeded, terminating
% 118.00/108.62 eprover: CPU time limit exceeded, terminating
% 120.39/110.64 eprover: CPU time limit exceeded, terminating
% 122.86/112.65 eprover: CPU time limit exceeded, terminating
% 125.34/114.66 eprover: CPU time limit exceeded, terminating
% 127.74/116.68 eprover: CPU time limit exceeded, terminating
% 130.21/118.69 eprover: CPU time limit exceeded, terminating
% 132.63/120.70 eprover: CPU time limit exceeded, terminating
% 135.09/122.72 eprover: CPU time limit exceeded, terminating
% 137.62/124.73 eprover: CPU time limit exceeded, terminating
% 140.06/126.75 eprover: CPU time limit exceeded, terminating
% 142.46/128.76 eprover: CPU time limit exceeded, terminating
% 144.96/130.77 eprover: CPU time limit exceeded, terminating
% 147.41/132.79 eprover: CPU time limit exceeded, terminating
% 149.85/134.80 eprover: CPU time limit exceeded, terminating
% 152.28/136.81 eprover: CPU time limit exceeded, terminating
% 154.74/138.83 eprover: CPU time limit exceeded, terminating
% 157.14/140.84 eprover: CPU time limit exceeded, terminating
% 159.59/142.86 eprover: CPU time limit exceeded, terminating
% 162.11/144.87 eprover: CPU time limit exceeded, terminating
% 164.59/146.89 eprover: CPU time limit exceeded, terminating
% 167.02/148.90 eprover: CPU time limit exceeded, terminating
% 169.48/150.91 eprover: CPU time limit exceeded, terminating
% 171.94/152.93 eprover: CPU time limit exceeded, terminating
% 174.33/154.94 eprover: CPU time limit exceeded, terminating
% 176.81/156.96 eprover: CPU time limit exceeded, terminating
% 179.28/158.97 eprover: CPU time limit exceeded, terminating
% 181.69/160.98 eprover: CPU time limit exceeded, terminating
% 184.16/163.00 eprover: CPU time limit exceeded, terminating
% 186.58/165.01 eprover: CPU time limit exceeded, terminating
% 189.08/167.03 eprover: CPU time limit exceeded, terminating
% 191.53/169.04 eprover: CPU time limit exceeded, terminating
% 193.99/171.05 eprover: CPU time limit exceeded, terminating
% 196.47/173.07 eprover: CPU time limit exceeded, terminating
% 198.95/175.08 eprover: CPU time limit exceeded, terminating
% 201.35/177.10 eprover: CPU time limit exceeded, terminating
% 203.82/179.11 eprover: CPU time limit exceeded, terminating
% 206.20/181.12 eprover: CPU time limit exceeded, terminating
% 208.72/183.14 eprover: CPU time limit exceeded, terminating
% 211.15/185.15 eprover: CPU time limit exceeded, terminating
% 213.59/187.17 eprover: CPU time limit exceeded, terminating
% 216.00/189.18 eprover: CPU time limit exceeded, terminating
% 218.49/191.19 eprover: CPU time limit exceeded, terminating
% 220.91/193.21 eprover: CPU time limit exceeded, terminating
% 223.33/195.22 eprover: CPU time limit exceeded, terminating
% 225.80/197.23 eprover: CPU time limit exceeded, terminating
% 228.30/199.25 eprover: CPU time limit exceeded, terminating
% 230.70/201.26 eprover: CPU time limit exceeded, terminating
% 233.17/203.28 eprover: CPU time limit exceeded, terminating
% 235.59/205.29 eprover: CPU time limit exceeded, terminating
% 238.00/207.31 eprover: CPU time limit exceeded, terminating
% 240.53/209.32 eprover: CPU time limit exceeded, terminating
% 242.94/211.33 eprover: CPU time limit exceeded, terminating
% 245.40/213.35 eprover: CPU time limit exceeded, terminating
% 247.82/215.36 eprover: CPU time limit exceeded, terminating
% 250.31/217.38 eprover: CPU time limit exceeded, terminating
% 252.78/219.39 eprover: CPU time limit exceeded, terminating
% 255.21/221.41 eprover: CPU time limit exceeded, terminating
% 257.65/223.42 eprover: CPU time limit exceeded, terminating
% 260.09/225.44 eprover: CPU time limit exceeded, terminating
% 262.50/227.45 eprover: CPU time limit exceeded, terminating
% 264.96/229.46 eprover: CPU time limit exceeded, terminating
% 267.38/231.48 eprover: CPU time limit exceeded, terminating
% 269.89/233.49 eprover: CPU time limit exceeded, terminating
% 272.35/235.50 eprover: CPU time limit exceeded, terminating
% 274.78/237.51 eprover: CPU time limit exceeded, terminating
% 277.25/239.53 eprover: CPU time limit exceeded, terminating
% 279.67/241.54 eprover: CPU time limit exceeded, terminating
% 282.10/243.55 eprover: CPU time limit exceeded, terminating
% 284.50/245.56 eprover: CPU time limit exceeded, terminating
% 287.00/247.58 eprover: CPU time limit exceeded, terminating
% 289.38/249.59 eprover: CPU time limit exceeded, terminating
% 291.91/251.60 eprover: CPU time limit exceeded, terminating
% 294.32/253.61 eprover: CPU time limit exceeded, terminating
% 296.78/255.63 eprover: CPU time limit exceeded, terminating
% 299.19/257.64 eprover: CPU time limit exceeded, terminating
% 300.02/258.20 eprover: CPU time limit exceeded, terminating
% 300.02/258.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------