TSTP Solution File: SWW316+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW316+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 287.77s 246.67s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : SWW316+1 : TPTP v8.1.0. Released v5.2.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n026.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun Jun 5 18:36:45 EDT 2022
% 0.12/0.33 % CPUTime :
% 53.15/52.92 eprover: CPU time limit exceeded, terminating
% 55.56/54.94 eprover: CPU time limit exceeded, terminating
% 58.01/56.95 eprover: CPU time limit exceeded, terminating
% 60.46/58.97 eprover: CPU time limit exceeded, terminating
% 62.89/60.98 eprover: CPU time limit exceeded, terminating
% 65.40/63.00 eprover: CPU time limit exceeded, terminating
% 67.84/65.02 eprover: CPU time limit exceeded, terminating
% 70.29/67.04 eprover: CPU time limit exceeded, terminating
% 72.68/69.05 eprover: CPU time limit exceeded, terminating
% 75.18/71.07 eprover: CPU time limit exceeded, terminating
% 77.62/73.09 eprover: CPU time limit exceeded, terminating
% 80.04/75.11 eprover: CPU time limit exceeded, terminating
% 82.48/77.13 eprover: CPU time limit exceeded, terminating
% 84.99/79.14 eprover: CPU time limit exceeded, terminating
% 87.43/81.16 eprover: CPU time limit exceeded, terminating
% 89.83/83.18 eprover: CPU time limit exceeded, terminating
% 92.34/85.20 eprover: CPU time limit exceeded, terminating
% 94.82/87.21 eprover: CPU time limit exceeded, terminating
% 97.29/89.23 eprover: CPU time limit exceeded, terminating
% 99.70/91.25 eprover: CPU time limit exceeded, terminating
% 102.14/93.27 eprover: CPU time limit exceeded, terminating
% 104.59/95.29 eprover: CPU time limit exceeded, terminating
% 107.12/97.30 eprover: CPU time limit exceeded, terminating
% 109.54/99.32 eprover: CPU time limit exceeded, terminating
% 111.98/101.34 eprover: CPU time limit exceeded, terminating
% 114.37/103.36 eprover: CPU time limit exceeded, terminating
% 116.83/105.38 eprover: CPU time limit exceeded, terminating
% 119.29/107.39 eprover: CPU time limit exceeded, terminating
% 121.71/109.41 eprover: CPU time limit exceeded, terminating
% 124.11/111.43 eprover: CPU time limit exceeded, terminating
% 126.56/113.45 eprover: CPU time limit exceeded, terminating
% 129.02/115.46 eprover: CPU time limit exceeded, terminating
% 131.43/117.48 eprover: CPU time limit exceeded, terminating
% 133.90/119.50 eprover: CPU time limit exceeded, terminating
% 136.39/121.53 eprover: CPU time limit exceeded, terminating
% 138.77/123.55 eprover: CPU time limit exceeded, terminating
% 141.24/125.57 eprover: CPU time limit exceeded, terminating
% 143.69/127.58 eprover: CPU time limit exceeded, terminating
% 146.10/129.60 eprover: CPU time limit exceeded, terminating
% 148.54/131.62 eprover: CPU time limit exceeded, terminating
% 151.02/133.64 eprover: CPU time limit exceeded, terminating
% 153.45/135.66 eprover: CPU time limit exceeded, terminating
% 155.86/137.67 eprover: CPU time limit exceeded, terminating
% 158.33/139.69 eprover: CPU time limit exceeded, terminating
% 160.75/141.71 eprover: CPU time limit exceeded, terminating
% 163.19/143.74 eprover: CPU time limit exceeded, terminating
% 165.59/145.76 eprover: CPU time limit exceeded, terminating
% 168.08/147.78 eprover: CPU time limit exceeded, terminating
% 170.51/149.80 eprover: CPU time limit exceeded, terminating
% 172.92/151.81 eprover: CPU time limit exceeded, terminating
% 175.38/153.83 eprover: CPU time limit exceeded, terminating
% 177.81/155.84 eprover: CPU time limit exceeded, terminating
% 180.26/157.87 eprover: CPU time limit exceeded, terminating
% 182.69/159.88 eprover: CPU time limit exceeded, terminating
% 185.13/161.90 eprover: CPU time limit exceeded, terminating
% 187.49/163.92 eprover: CPU time limit exceeded, terminating
% 189.99/165.94 eprover: CPU time limit exceeded, terminating
% 192.45/167.95 eprover: CPU time limit exceeded, terminating
% 194.85/169.97 eprover: CPU time limit exceeded, terminating
% 197.31/171.98 eprover: CPU time limit exceeded, terminating
% 199.75/174.00 eprover: CPU time limit exceeded, terminating
% 202.16/176.03 eprover: CPU time limit exceeded, terminating
% 204.63/178.04 eprover: CPU time limit exceeded, terminating
% 207.00/180.06 eprover: CPU time limit exceeded, terminating
% 209.49/182.08 eprover: CPU time limit exceeded, terminating
% 211.89/184.10 eprover: CPU time limit exceeded, terminating
% 214.39/186.11 eprover: CPU time limit exceeded, terminating
% 216.85/188.13 eprover: CPU time limit exceeded, terminating
% 219.28/190.15 eprover: CPU time limit exceeded, terminating
% 221.78/192.17 eprover: CPU time limit exceeded, terminating
% 224.17/194.19 eprover: CPU time limit exceeded, terminating
% 226.66/196.21 eprover: CPU time limit exceeded, terminating
% 229.14/198.23 eprover: CPU time limit exceeded, terminating
% 231.50/200.25 eprover: CPU time limit exceeded, terminating
% 233.98/202.27 eprover: CPU time limit exceeded, terminating
% 236.40/204.28 eprover: CPU time limit exceeded, terminating
% 238.85/206.30 eprover: CPU time limit exceeded, terminating
% 241.35/208.32 eprover: CPU time limit exceeded, terminating
% 243.72/210.33 eprover: CPU time limit exceeded, terminating
% 246.16/212.35 eprover: CPU time limit exceeded, terminating
% 248.61/214.37 eprover: CPU time limit exceeded, terminating
% 250.98/216.39 eprover: CPU time limit exceeded, terminating
% 253.51/218.40 eprover: CPU time limit exceeded, terminating
% 255.95/220.43 eprover: CPU time limit exceeded, terminating
% 258.39/222.44 eprover: CPU time limit exceeded, terminating
% 260.86/224.46 eprover: CPU time limit exceeded, terminating
% 263.29/226.49 eprover: CPU time limit exceeded, terminating
% 265.74/228.50 eprover: CPU time limit exceeded, terminating
% 268.21/230.52 eprover: CPU time limit exceeded, terminating
% 270.68/232.54 eprover: CPU time limit exceeded, terminating
% 273.15/234.55 eprover: CPU time limit exceeded, terminating
% 275.53/236.57 eprover: CPU time limit exceeded, terminating
% 277.99/238.60 eprover: CPU time limit exceeded, terminating
% 280.44/240.62 eprover: CPU time limit exceeded, terminating
% 282.90/242.64 eprover: CPU time limit exceeded, terminating
% 285.34/244.66 eprover: CPU time limit exceeded, terminating
% 287.77/246.67 eprover: CPU time limit exceeded, terminating
% 290.22/248.69 eprover: CPU time limit exceeded, terminating
% 292.69/250.71 eprover: CPU time limit exceeded, terminating
% 295.11/252.73 eprover: CPU time limit exceeded, terminating
% 297.55/254.75 eprover: CPU time limit exceeded, terminating
% 300.04/256.76 eprover: CPU time limit exceeded, terminating
% 300.07/256.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------