TSTP Solution File: SWW312+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW312+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:36 EDT 2022
% Result : Timeout 286.31s 244.78s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW312+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n027.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun Jun 5 11:30:08 EDT 2022
% 0.12/0.34 % CPUTime :
% 53.58/53.30 eprover: CPU time limit exceeded, terminating
% 56.03/55.31 eprover: CPU time limit exceeded, terminating
% 58.55/57.33 eprover: CPU time limit exceeded, terminating
% 61.02/59.34 eprover: CPU time limit exceeded, terminating
% 63.48/61.36 eprover: CPU time limit exceeded, terminating
% 65.98/63.38 eprover: CPU time limit exceeded, terminating
% 68.34/65.39 eprover: CPU time limit exceeded, terminating
% 70.83/67.41 eprover: CPU time limit exceeded, terminating
% 73.34/69.42 eprover: CPU time limit exceeded, terminating
% 75.76/71.44 eprover: CPU time limit exceeded, terminating
% 78.24/73.45 eprover: CPU time limit exceeded, terminating
% 80.71/75.47 eprover: CPU time limit exceeded, terminating
% 83.17/77.49 eprover: CPU time limit exceeded, terminating
% 85.68/79.50 eprover: CPU time limit exceeded, terminating
% 88.16/81.52 eprover: CPU time limit exceeded, terminating
% 90.57/83.53 eprover: CPU time limit exceeded, terminating
% 92.97/85.55 eprover: CPU time limit exceeded, terminating
% 95.42/87.56 eprover: CPU time limit exceeded, terminating
% 97.94/89.58 eprover: CPU time limit exceeded, terminating
% 100.41/91.59 eprover: CPU time limit exceeded, terminating
% 102.78/93.61 eprover: CPU time limit exceeded, terminating
% 105.28/95.63 eprover: CPU time limit exceeded, terminating
% 107.70/97.64 eprover: CPU time limit exceeded, terminating
% 110.18/99.66 eprover: CPU time limit exceeded, terminating
% 112.58/101.67 eprover: CPU time limit exceeded, terminating
% 115.09/103.69 eprover: CPU time limit exceeded, terminating
% 117.54/105.71 eprover: CPU time limit exceeded, terminating
% 119.97/107.72 eprover: CPU time limit exceeded, terminating
% 122.42/109.74 eprover: CPU time limit exceeded, terminating
% 124.82/111.75 eprover: CPU time limit exceeded, terminating
% 127.29/113.76 eprover: CPU time limit exceeded, terminating
% 129.73/115.78 eprover: CPU time limit exceeded, terminating
% 132.24/117.80 eprover: CPU time limit exceeded, terminating
% 134.65/119.81 eprover: CPU time limit exceeded, terminating
% 137.13/121.83 eprover: CPU time limit exceeded, terminating
% 139.56/123.84 eprover: CPU time limit exceeded, terminating
% 141.94/125.86 eprover: CPU time limit exceeded, terminating
% 144.38/127.88 eprover: CPU time limit exceeded, terminating
% 146.83/129.89 eprover: CPU time limit exceeded, terminating
% 149.28/131.90 eprover: CPU time limit exceeded, terminating
% 151.80/133.92 eprover: CPU time limit exceeded, terminating
% 154.22/135.93 eprover: CPU time limit exceeded, terminating
% 156.67/137.95 eprover: CPU time limit exceeded, terminating
% 159.11/139.97 eprover: CPU time limit exceeded, terminating
% 161.53/141.98 eprover: CPU time limit exceeded, terminating
% 164.06/143.99 eprover: CPU time limit exceeded, terminating
% 166.50/146.01 eprover: CPU time limit exceeded, terminating
% 168.94/148.02 eprover: CPU time limit exceeded, terminating
% 171.34/150.04 eprover: CPU time limit exceeded, terminating
% 173.80/152.05 eprover: CPU time limit exceeded, terminating
% 176.22/154.07 eprover: CPU time limit exceeded, terminating
% 178.72/156.08 eprover: CPU time limit exceeded, terminating
% 181.15/158.10 eprover: CPU time limit exceeded, terminating
% 183.61/160.12 eprover: CPU time limit exceeded, terminating
% 186.06/162.13 eprover: CPU time limit exceeded, terminating
% 188.46/164.15 eprover: CPU time limit exceeded, terminating
% 190.94/166.16 eprover: CPU time limit exceeded, terminating
% 193.36/168.18 eprover: CPU time limit exceeded, terminating
% 195.87/170.19 eprover: CPU time limit exceeded, terminating
% 198.31/172.21 eprover: CPU time limit exceeded, terminating
% 200.75/174.23 eprover: CPU time limit exceeded, terminating
% 203.18/176.24 eprover: CPU time limit exceeded, terminating
% 205.63/178.26 eprover: CPU time limit exceeded, terminating
% 208.08/180.27 eprover: CPU time limit exceeded, terminating
% 210.58/182.28 eprover: CPU time limit exceeded, terminating
% 213.02/184.30 eprover: CPU time limit exceeded, terminating
% 215.47/186.32 eprover: CPU time limit exceeded, terminating
% 217.93/188.33 eprover: CPU time limit exceeded, terminating
% 220.34/190.35 eprover: CPU time limit exceeded, terminating
% 222.77/192.36 eprover: CPU time limit exceeded, terminating
% 225.20/194.38 eprover: CPU time limit exceeded, terminating
% 227.71/196.40 eprover: CPU time limit exceeded, terminating
% 230.16/198.41 eprover: CPU time limit exceeded, terminating
% 232.60/200.43 eprover: CPU time limit exceeded, terminating
% 235.04/202.44 eprover: CPU time limit exceeded, terminating
% 237.45/204.46 eprover: CPU time limit exceeded, terminating
% 239.89/206.47 eprover: CPU time limit exceeded, terminating
% 242.32/208.49 eprover: CPU time limit exceeded, terminating
% 244.82/210.51 eprover: CPU time limit exceeded, terminating
% 247.26/212.52 eprover: CPU time limit exceeded, terminating
% 249.71/214.54 eprover: CPU time limit exceeded, terminating
% 252.14/216.55 eprover: CPU time limit exceeded, terminating
% 254.54/218.57 eprover: CPU time limit exceeded, terminating
% 256.97/220.59 eprover: CPU time limit exceeded, terminating
% 259.50/222.60 eprover: CPU time limit exceeded, terminating
% 261.91/224.62 eprover: CPU time limit exceeded, terminating
% 264.35/226.63 eprover: CPU time limit exceeded, terminating
% 266.78/228.65 eprover: CPU time limit exceeded, terminating
% 269.21/230.67 eprover: CPU time limit exceeded, terminating
% 271.68/232.68 eprover: CPU time limit exceeded, terminating
% 274.09/234.70 eprover: CPU time limit exceeded, terminating
% 276.61/236.72 eprover: CPU time limit exceeded, terminating
% 279.04/238.73 eprover: CPU time limit exceeded, terminating
% 281.47/240.75 eprover: CPU time limit exceeded, terminating
% 283.89/242.76 eprover: CPU time limit exceeded, terminating
% 286.31/244.78 eprover: CPU time limit exceeded, terminating
% 288.84/246.80 eprover: CPU time limit exceeded, terminating
% 291.25/248.81 eprover: CPU time limit exceeded, terminating
% 293.70/250.83 eprover: CPU time limit exceeded, terminating
% 296.19/252.85 eprover: CPU time limit exceeded, terminating
% 298.58/254.86 eprover: CPU time limit exceeded, terminating
% 300.02/255.89 eprover: CPU time limit exceeded, terminating
% 300.02/255.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------