TSTP Solution File: SWW314+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW314+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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.51s 248.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : SWW314+1 : TPTP v8.1.0. Released v5.2.0.
% 0.14/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n017.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 : Sun Jun 5 12:45:30 EDT 2022
% 0.14/0.36 % CPUTime :
% 73.45/73.08 eprover: CPU time limit exceeded, terminating
% 75.96/75.10 eprover: CPU time limit exceeded, terminating
% 78.44/77.11 eprover: CPU time limit exceeded, terminating
% 80.89/79.13 eprover: CPU time limit exceeded, terminating
% 83.36/81.15 eprover: CPU time limit exceeded, terminating
% 85.84/83.17 eprover: CPU time limit exceeded, terminating
% 88.30/85.19 eprover: CPU time limit exceeded, terminating
% 90.72/87.20 eprover: CPU time limit exceeded, terminating
% 93.23/89.22 eprover: CPU time limit exceeded, terminating
% 95.70/91.24 eprover: CPU time limit exceeded, terminating
% 98.18/93.25 eprover: CPU time limit exceeded, terminating
% 100.64/95.27 eprover: CPU time limit exceeded, terminating
% 103.10/97.28 eprover: CPU time limit exceeded, terminating
% 105.52/99.29 eprover: CPU time limit exceeded, terminating
% 108.03/101.31 eprover: CPU time limit exceeded, terminating
% 110.52/103.32 eprover: CPU time limit exceeded, terminating
% 112.96/105.34 eprover: CPU time limit exceeded, terminating
% 115.41/107.35 eprover: CPU time limit exceeded, terminating
% 117.93/109.37 eprover: CPU time limit exceeded, terminating
% 120.42/111.39 eprover: CPU time limit exceeded, terminating
% 122.87/113.40 eprover: CPU time limit exceeded, terminating
% 125.27/115.42 eprover: CPU time limit exceeded, terminating
% 127.81/117.44 eprover: CPU time limit exceeded, terminating
% 130.24/119.46 eprover: CPU time limit exceeded, terminating
% 132.69/121.47 eprover: CPU time limit exceeded, terminating
% 135.16/123.49 eprover: CPU time limit exceeded, terminating
% 137.64/125.51 eprover: CPU time limit exceeded, terminating
% 140.13/127.52 eprover: CPU time limit exceeded, terminating
% 142.56/129.54 eprover: CPU time limit exceeded, terminating
% 145.09/131.56 eprover: CPU time limit exceeded, terminating
% 147.56/133.58 eprover: CPU time limit exceeded, terminating
% 150.00/135.59 eprover: CPU time limit exceeded, terminating
% 152.44/137.61 eprover: CPU time limit exceeded, terminating
% 154.94/139.62 eprover: CPU time limit exceeded, terminating
% 157.37/141.64 eprover: CPU time limit exceeded, terminating
% 159.83/143.66 eprover: CPU time limit exceeded, terminating
% 162.33/145.67 eprover: CPU time limit exceeded, terminating
% 164.75/147.69 eprover: CPU time limit exceeded, terminating
% 167.18/149.70 eprover: CPU time limit exceeded, terminating
% 169.71/151.72 eprover: CPU time limit exceeded, terminating
% 172.11/153.74 eprover: CPU time limit exceeded, terminating
% 174.63/155.75 eprover: CPU time limit exceeded, terminating
% 177.07/157.77 eprover: CPU time limit exceeded, terminating
% 179.57/159.78 eprover: CPU time limit exceeded, terminating
% 182.02/161.80 eprover: CPU time limit exceeded, terminating
% 184.46/163.82 eprover: CPU time limit exceeded, terminating
% 186.91/165.83 eprover: CPU time limit exceeded, terminating
% 189.47/167.85 eprover: CPU time limit exceeded, terminating
% 191.95/169.87 eprover: CPU time limit exceeded, terminating
% 194.32/171.89 eprover: CPU time limit exceeded, terminating
% 196.83/173.90 eprover: CPU time limit exceeded, terminating
% 199.29/175.92 eprover: CPU time limit exceeded, terminating
% 201.73/177.94 eprover: CPU time limit exceeded, terminating
% 204.17/179.95 eprover: CPU time limit exceeded, terminating
% 206.62/181.97 eprover: CPU time limit exceeded, terminating
% 209.07/183.99 eprover: CPU time limit exceeded, terminating
% 211.50/186.00 eprover: CPU time limit exceeded, terminating
% 213.94/188.02 eprover: CPU time limit exceeded, terminating
% 216.34/190.04 eprover: CPU time limit exceeded, terminating
% 218.86/192.05 eprover: CPU time limit exceeded, terminating
% 221.31/194.07 eprover: CPU time limit exceeded, terminating
% 223.77/196.09 eprover: CPU time limit exceeded, terminating
% 226.17/198.10 eprover: CPU time limit exceeded, terminating
% 228.66/200.12 eprover: CPU time limit exceeded, terminating
% 231.15/202.14 eprover: CPU time limit exceeded, terminating
% 233.59/204.15 eprover: CPU time limit exceeded, terminating
% 236.05/206.17 eprover: CPU time limit exceeded, terminating
% 238.48/208.19 eprover: CPU time limit exceeded, terminating
% 240.93/210.20 eprover: CPU time limit exceeded, terminating
% 243.35/212.22 eprover: CPU time limit exceeded, terminating
% 245.88/214.23 eprover: CPU time limit exceeded, terminating
% 248.32/216.25 eprover: CPU time limit exceeded, terminating
% 250.75/218.26 eprover: CPU time limit exceeded, terminating
% 253.20/220.28 eprover: CPU time limit exceeded, terminating
% 255.63/222.30 eprover: CPU time limit exceeded, terminating
% 258.10/224.31 eprover: CPU time limit exceeded, terminating
% 260.52/226.33 eprover: CPU time limit exceeded, terminating
% 263.02/228.35 eprover: CPU time limit exceeded, terminating
% 265.48/230.36 eprover: CPU time limit exceeded, terminating
% 267.93/232.38 eprover: CPU time limit exceeded, terminating
% 270.35/234.39 eprover: CPU time limit exceeded, terminating
% 272.80/236.41 eprover: CPU time limit exceeded, terminating
% 275.25/238.43 eprover: CPU time limit exceeded, terminating
% 277.66/240.44 eprover: CPU time limit exceeded, terminating
% 280.14/242.46 eprover: CPU time limit exceeded, terminating
% 282.60/244.47 eprover: CPU time limit exceeded, terminating
% 284.99/246.49 eprover: CPU time limit exceeded, terminating
% 287.51/248.50 eprover: CPU time limit exceeded, terminating
% 289.95/250.52 eprover: CPU time limit exceeded, terminating
% 292.37/252.54 eprover: CPU time limit exceeded, terminating
% 294.88/254.56 eprover: CPU time limit exceeded, terminating
% 297.26/256.57 eprover: CPU time limit exceeded, terminating
% 299.68/258.59 eprover: CPU time limit exceeded, terminating
% 300.10/258.94 eprover: CPU time limit exceeded, terminating
% 300.10/258.96 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------