TSTP Solution File: SWW392+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW392+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:43 EDT 2022
% Result : Timeout 287.27s 244.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SWW392+1 : TPTP v8.1.0. Released v5.2.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n029.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 4 22:29:48 EDT 2022
% 0.14/0.36 % CPUTime :
% 57.08/56.82 eprover: CPU time limit exceeded, terminating
% 59.57/58.84 eprover: CPU time limit exceeded, terminating
% 61.92/60.86 eprover: CPU time limit exceeded, terminating
% 64.47/62.87 eprover: CPU time limit exceeded, terminating
% 66.93/64.89 eprover: CPU time limit exceeded, terminating
% 69.40/66.90 eprover: CPU time limit exceeded, terminating
% 71.84/68.92 eprover: CPU time limit exceeded, terminating
% 74.26/70.94 eprover: CPU time limit exceeded, terminating
% 76.73/72.96 eprover: CPU time limit exceeded, terminating
% 79.18/74.97 eprover: CPU time limit exceeded, terminating
% 81.66/76.99 eprover: CPU time limit exceeded, terminating
% 84.12/79.01 eprover: CPU time limit exceeded, terminating
% 86.56/81.02 eprover: CPU time limit exceeded, terminating
% 89.05/83.04 eprover: CPU time limit exceeded, terminating
% 91.48/85.06 eprover: CPU time limit exceeded, terminating
% 93.94/87.08 eprover: CPU time limit exceeded, terminating
% 96.40/89.09 eprover: CPU time limit exceeded, terminating
% 98.94/91.11 eprover: CPU time limit exceeded, terminating
% 101.41/93.13 eprover: CPU time limit exceeded, terminating
% 103.85/95.15 eprover: CPU time limit exceeded, terminating
% 106.30/97.16 eprover: CPU time limit exceeded, terminating
% 108.73/99.18 eprover: CPU time limit exceeded, terminating
% 111.26/101.20 eprover: CPU time limit exceeded, terminating
% 113.73/103.21 eprover: CPU time limit exceeded, terminating
% 116.18/105.23 eprover: CPU time limit exceeded, terminating
% 118.58/107.24 eprover: CPU time limit exceeded, terminating
% 121.05/109.26 eprover: CPU time limit exceeded, terminating
% 123.56/111.28 eprover: CPU time limit exceeded, terminating
% 126.09/113.30 eprover: CPU time limit exceeded, terminating
% 128.57/115.31 eprover: CPU time limit exceeded, terminating
% 131.04/117.33 eprover: CPU time limit exceeded, terminating
% 133.51/119.34 eprover: CPU time limit exceeded, terminating
% 135.98/121.36 eprover: CPU time limit exceeded, terminating
% 138.43/123.38 eprover: CPU time limit exceeded, terminating
% 140.94/125.39 eprover: CPU time limit exceeded, terminating
% 143.51/127.41 eprover: CPU time limit exceeded, terminating
% 145.97/129.43 eprover: CPU time limit exceeded, terminating
% 148.44/131.44 eprover: CPU time limit exceeded, terminating
% 150.94/133.46 eprover: CPU time limit exceeded, terminating
% 153.41/135.47 eprover: CPU time limit exceeded, terminating
% 155.92/137.49 eprover: CPU time limit exceeded, terminating
% 158.41/139.51 eprover: CPU time limit exceeded, terminating
% 160.87/141.53 eprover: CPU time limit exceeded, terminating
% 163.36/143.54 eprover: CPU time limit exceeded, terminating
% 165.80/145.56 eprover: CPU time limit exceeded, terminating
% 168.29/147.58 eprover: CPU time limit exceeded, terminating
% 170.83/149.60 eprover: CPU time limit exceeded, terminating
% 173.29/151.61 eprover: CPU time limit exceeded, terminating
% 175.77/153.63 eprover: CPU time limit exceeded, terminating
% 178.22/155.64 eprover: CPU time limit exceeded, terminating
% 180.70/157.66 eprover: CPU time limit exceeded, terminating
% 183.19/159.68 eprover: CPU time limit exceeded, terminating
% 185.70/161.69 eprover: CPU time limit exceeded, terminating
% 188.19/163.71 eprover: CPU time limit exceeded, terminating
% 190.67/165.72 eprover: CPU time limit exceeded, terminating
% 193.13/167.73 eprover: CPU time limit exceeded, terminating
% 195.56/169.75 eprover: CPU time limit exceeded, terminating
% 198.05/171.76 eprover: CPU time limit exceeded, terminating
% 200.53/173.78 eprover: CPU time limit exceeded, terminating
% 203.04/175.79 eprover: CPU time limit exceeded, terminating
% 205.51/177.81 eprover: CPU time limit exceeded, terminating
% 208.00/179.82 eprover: CPU time limit exceeded, terminating
% 210.46/181.84 eprover: CPU time limit exceeded, terminating
% 212.95/183.85 eprover: CPU time limit exceeded, terminating
% 215.36/185.87 eprover: CPU time limit exceeded, terminating
% 217.90/187.88 eprover: CPU time limit exceeded, terminating
% 220.38/189.90 eprover: CPU time limit exceeded, terminating
% 222.87/191.92 eprover: CPU time limit exceeded, terminating
% 225.27/193.93 eprover: CPU time limit exceeded, terminating
% 227.82/195.95 eprover: CPU time limit exceeded, terminating
% 230.30/197.96 eprover: CPU time limit exceeded, terminating
% 232.76/199.98 eprover: CPU time limit exceeded, terminating
% 235.24/201.99 eprover: CPU time limit exceeded, terminating
% 237.69/204.01 eprover: CPU time limit exceeded, terminating
% 240.22/206.03 eprover: CPU time limit exceeded, terminating
% 242.63/208.04 eprover: CPU time limit exceeded, terminating
% 245.13/210.06 eprover: CPU time limit exceeded, terminating
% 247.59/212.07 eprover: CPU time limit exceeded, terminating
% 250.03/214.09 eprover: CPU time limit exceeded, terminating
% 252.48/216.11 eprover: CPU time limit exceeded, terminating
% 254.96/218.12 eprover: CPU time limit exceeded, terminating
% 257.44/220.14 eprover: CPU time limit exceeded, terminating
% 259.87/222.16 eprover: CPU time limit exceeded, terminating
% 262.40/224.17 eprover: CPU time limit exceeded, terminating
% 264.89/226.19 eprover: CPU time limit exceeded, terminating
% 267.32/228.21 eprover: CPU time limit exceeded, terminating
% 269.85/230.22 eprover: CPU time limit exceeded, terminating
% 272.33/232.24 eprover: CPU time limit exceeded, terminating
% 274.83/234.26 eprover: CPU time limit exceeded, terminating
% 277.32/236.28 eprover: CPU time limit exceeded, terminating
% 279.75/238.29 eprover: CPU time limit exceeded, terminating
% 282.26/240.31 eprover: CPU time limit exceeded, terminating
% 284.74/242.33 eprover: CPU time limit exceeded, terminating
% 287.27/244.34 eprover: CPU time limit exceeded, terminating
% 289.71/246.36 eprover: CPU time limit exceeded, terminating
% 292.20/248.38 eprover: CPU time limit exceeded, terminating
% 294.67/250.39 eprover: CPU time limit exceeded, terminating
% 297.14/252.41 eprover: CPU time limit exceeded, terminating
% 299.63/254.42 eprover: CPU time limit exceeded, terminating
% 300.27/254.87 eprover: CPU time limit exceeded, terminating
% 300.27/254.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------