TSTP Solution File: SWW332+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW332+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:37 EDT 2022
% Result : Timeout 287.71s 246.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW332+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n020.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jun 4 18:59:37 EDT 2022
% 0.13/0.33 % CPUTime :
% 61.41/60.96 eprover: CPU time limit exceeded, terminating
% 64.04/62.97 eprover: CPU time limit exceeded, terminating
% 66.59/64.98 eprover: CPU time limit exceeded, terminating
% 69.17/67.00 eprover: CPU time limit exceeded, terminating
% 71.64/69.03 eprover: CPU time limit exceeded, terminating
% 74.38/71.04 eprover: CPU time limit exceeded, terminating
% 77.01/73.06 eprover: CPU time limit exceeded, terminating
% 79.67/75.07 eprover: CPU time limit exceeded, terminating
% 82.27/77.11 eprover: CPU time limit exceeded, terminating
% 84.91/79.12 eprover: CPU time limit exceeded, terminating
% 87.58/81.14 eprover: CPU time limit exceeded, terminating
% 90.21/83.15 eprover: CPU time limit exceeded, terminating
% 92.82/85.17 eprover: CPU time limit exceeded, terminating
% 95.17/87.18 eprover: CPU time limit exceeded, terminating
% 97.61/89.20 eprover: CPU time limit exceeded, terminating
% 99.99/91.21 eprover: CPU time limit exceeded, terminating
% 102.47/93.22 eprover: CPU time limit exceeded, terminating
% 104.84/95.24 eprover: CPU time limit exceeded, terminating
% 107.30/97.25 eprover: CPU time limit exceeded, terminating
% 109.73/99.26 eprover: CPU time limit exceeded, terminating
% 112.19/101.28 eprover: CPU time limit exceeded, terminating
% 114.61/103.29 eprover: CPU time limit exceeded, terminating
% 117.00/105.31 eprover: CPU time limit exceeded, terminating
% 119.46/107.32 eprover: CPU time limit exceeded, terminating
% 121.90/109.33 eprover: CPU time limit exceeded, terminating
% 124.29/111.35 eprover: CPU time limit exceeded, terminating
% 126.74/113.37 eprover: CPU time limit exceeded, terminating
% 129.18/115.38 eprover: CPU time limit exceeded, terminating
% 131.58/117.39 eprover: CPU time limit exceeded, terminating
% 134.02/119.41 eprover: CPU time limit exceeded, terminating
% 136.48/121.42 eprover: CPU time limit exceeded, terminating
% 138.88/123.43 eprover: CPU time limit exceeded, terminating
% 141.22/125.45 eprover: CPU time limit exceeded, terminating
% 143.73/127.46 eprover: CPU time limit exceeded, terminating
% 146.12/129.48 eprover: CPU time limit exceeded, terminating
% 148.55/131.49 eprover: CPU time limit exceeded, terminating
% 150.99/133.50 eprover: CPU time limit exceeded, terminating
% 153.45/135.52 eprover: CPU time limit exceeded, terminating
% 155.83/137.53 eprover: CPU time limit exceeded, terminating
% 158.26/139.55 eprover: CPU time limit exceeded, terminating
% 160.75/141.56 eprover: CPU time limit exceeded, terminating
% 163.20/143.58 eprover: CPU time limit exceeded, terminating
% 165.61/145.60 eprover: CPU time limit exceeded, terminating
% 167.98/147.61 eprover: CPU time limit exceeded, terminating
% 170.44/149.63 eprover: CPU time limit exceeded, terminating
% 172.92/151.65 eprover: CPU time limit exceeded, terminating
% 175.36/153.66 eprover: CPU time limit exceeded, terminating
% 177.76/155.68 eprover: CPU time limit exceeded, terminating
% 180.20/157.70 eprover: CPU time limit exceeded, terminating
% 182.61/159.71 eprover: CPU time limit exceeded, terminating
% 185.06/161.73 eprover: CPU time limit exceeded, terminating
% 187.50/163.74 eprover: CPU time limit exceeded, terminating
% 189.95/165.79 eprover: CPU time limit exceeded, terminating
% 192.38/167.81 eprover: CPU time limit exceeded, terminating
% 194.81/169.83 eprover: CPU time limit exceeded, terminating
% 197.23/171.84 eprover: CPU time limit exceeded, terminating
% 199.75/173.86 eprover: CPU time limit exceeded, terminating
% 202.24/175.88 eprover: CPU time limit exceeded, terminating
% 204.63/177.89 eprover: CPU time limit exceeded, terminating
% 207.10/179.91 eprover: CPU time limit exceeded, terminating
% 209.49/181.93 eprover: CPU time limit exceeded, terminating
% 212.02/183.95 eprover: CPU time limit exceeded, terminating
% 214.45/185.96 eprover: CPU time limit exceeded, terminating
% 216.88/187.99 eprover: CPU time limit exceeded, terminating
% 219.31/190.01 eprover: CPU time limit exceeded, terminating
% 221.79/192.02 eprover: CPU time limit exceeded, terminating
% 224.25/194.04 eprover: CPU time limit exceeded, terminating
% 226.70/196.06 eprover: CPU time limit exceeded, terminating
% 229.16/198.08 eprover: CPU time limit exceeded, terminating
% 231.62/200.10 eprover: CPU time limit exceeded, terminating
% 234.06/202.11 eprover: CPU time limit exceeded, terminating
% 236.48/204.13 eprover: CPU time limit exceeded, terminating
% 238.87/206.15 eprover: CPU time limit exceeded, terminating
% 241.41/208.17 eprover: CPU time limit exceeded, terminating
% 243.81/210.19 eprover: CPU time limit exceeded, terminating
% 246.25/212.21 eprover: CPU time limit exceeded, terminating
% 248.72/214.23 eprover: CPU time limit exceeded, terminating
% 251.20/216.26 eprover: CPU time limit exceeded, terminating
% 253.63/218.28 eprover: CPU time limit exceeded, terminating
% 256.08/220.30 eprover: CPU time limit exceeded, terminating
% 258.48/222.32 eprover: CPU time limit exceeded, terminating
% 260.95/224.34 eprover: CPU time limit exceeded, terminating
% 263.41/226.35 eprover: CPU time limit exceeded, terminating
% 265.81/228.37 eprover: CPU time limit exceeded, terminating
% 268.18/230.39 eprover: CPU time limit exceeded, terminating
% 270.67/232.41 eprover: CPU time limit exceeded, terminating
% 273.04/234.43 eprover: CPU time limit exceeded, terminating
% 275.55/236.44 eprover: CPU time limit exceeded, terminating
% 277.99/238.46 eprover: CPU time limit exceeded, terminating
% 280.43/240.48 eprover: CPU time limit exceeded, terminating
% 282.88/242.50 eprover: CPU time limit exceeded, terminating
% 285.31/244.51 eprover: CPU time limit exceeded, terminating
% 287.71/246.53 eprover: CPU time limit exceeded, terminating
% 290.18/248.55 eprover: CPU time limit exceeded, terminating
% 292.68/250.56 eprover: CPU time limit exceeded, terminating
% 295.11/252.58 eprover: CPU time limit exceeded, terminating
% 297.59/254.60 eprover: CPU time limit exceeded, terminating
% 299.99/256.62 eprover: CPU time limit exceeded, terminating
% 300.08/256.65 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------