TSTP Solution File: SWW356+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW356+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:40 EDT 2022
% Result : Timeout 286.60s 246.62s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.14 % Problem : SWW356+1 : TPTP v8.1.0. Released v5.2.0.
% 0.12/0.15 % Command : run_infinox %s
% 0.16/0.36 % Computer : n022.cluster.edu
% 0.16/0.36 % Model : x86_64 x86_64
% 0.16/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.16/0.36 % Memory : 8042.1875MB
% 0.16/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.16/0.36 % CPULimit : 300
% 0.16/0.36 % WCLimit : 600
% 0.16/0.36 % DateTime : Sun Jun 5 00:27:21 EDT 2022
% 0.16/0.37 % CPUTime :
% 65.27/64.92 eprover: CPU time limit exceeded, terminating
% 67.74/66.94 eprover: CPU time limit exceeded, terminating
% 70.20/68.96 eprover: CPU time limit exceeded, terminating
% 72.64/70.97 eprover: CPU time limit exceeded, terminating
% 75.12/72.99 eprover: CPU time limit exceeded, terminating
% 77.55/75.01 eprover: CPU time limit exceeded, terminating
% 80.06/77.03 eprover: CPU time limit exceeded, terminating
% 82.53/79.05 eprover: CPU time limit exceeded, terminating
% 84.99/81.07 eprover: CPU time limit exceeded, terminating
% 87.51/83.09 eprover: CPU time limit exceeded, terminating
% 90.01/85.10 eprover: CPU time limit exceeded, terminating
% 92.42/87.12 eprover: CPU time limit exceeded, terminating
% 94.92/89.14 eprover: CPU time limit exceeded, terminating
% 97.37/91.16 eprover: CPU time limit exceeded, terminating
% 99.91/93.18 eprover: CPU time limit exceeded, terminating
% 102.33/95.20 eprover: CPU time limit exceeded, terminating
% 104.77/97.22 eprover: CPU time limit exceeded, terminating
% 107.23/99.23 eprover: CPU time limit exceeded, terminating
% 109.75/101.25 eprover: CPU time limit exceeded, terminating
% 112.20/103.27 eprover: CPU time limit exceeded, terminating
% 114.60/105.29 eprover: CPU time limit exceeded, terminating
% 117.07/107.31 eprover: CPU time limit exceeded, terminating
% 119.55/109.33 eprover: CPU time limit exceeded, terminating
% 121.99/111.35 eprover: CPU time limit exceeded, terminating
% 124.50/113.37 eprover: CPU time limit exceeded, terminating
% 126.98/115.38 eprover: CPU time limit exceeded, terminating
% 129.44/117.40 eprover: CPU time limit exceeded, terminating
% 131.88/119.42 eprover: CPU time limit exceeded, terminating
% 134.31/121.44 eprover: CPU time limit exceeded, terminating
% 136.80/123.46 eprover: CPU time limit exceeded, terminating
% 139.26/125.48 eprover: CPU time limit exceeded, terminating
% 141.67/127.50 eprover: CPU time limit exceeded, terminating
% 144.16/129.52 eprover: CPU time limit exceeded, terminating
% 146.58/131.54 eprover: CPU time limit exceeded, terminating
% 149.09/133.56 eprover: CPU time limit exceeded, terminating
% 151.51/135.57 eprover: CPU time limit exceeded, terminating
% 153.96/137.59 eprover: CPU time limit exceeded, terminating
% 156.37/139.61 eprover: CPU time limit exceeded, terminating
% 158.85/141.63 eprover: CPU time limit exceeded, terminating
% 161.36/143.65 eprover: CPU time limit exceeded, terminating
% 163.81/145.67 eprover: CPU time limit exceeded, terminating
% 166.26/147.69 eprover: CPU time limit exceeded, terminating
% 168.68/149.71 eprover: CPU time limit exceeded, terminating
% 171.06/151.73 eprover: CPU time limit exceeded, terminating
% 173.60/153.74 eprover: CPU time limit exceeded, terminating
% 176.06/155.76 eprover: CPU time limit exceeded, terminating
% 178.52/157.78 eprover: CPU time limit exceeded, terminating
% 180.94/159.80 eprover: CPU time limit exceeded, terminating
% 183.41/161.82 eprover: CPU time limit exceeded, terminating
% 185.90/163.84 eprover: CPU time limit exceeded, terminating
% 188.29/165.85 eprover: CPU time limit exceeded, terminating
% 190.77/167.87 eprover: CPU time limit exceeded, terminating
% 193.25/169.89 eprover: CPU time limit exceeded, terminating
% 195.69/171.91 eprover: CPU time limit exceeded, terminating
% 198.15/173.93 eprover: CPU time limit exceeded, terminating
% 200.58/175.95 eprover: CPU time limit exceeded, terminating
% 203.05/177.97 eprover: CPU time limit exceeded, terminating
% 205.49/179.98 eprover: CPU time limit exceeded, terminating
% 207.89/182.01 eprover: CPU time limit exceeded, terminating
% 210.40/184.03 eprover: CPU time limit exceeded, terminating
% 212.85/186.05 eprover: CPU time limit exceeded, terminating
% 215.31/188.07 eprover: CPU time limit exceeded, terminating
% 217.79/190.08 eprover: CPU time limit exceeded, terminating
% 220.24/192.11 eprover: CPU time limit exceeded, terminating
% 222.63/194.13 eprover: CPU time limit exceeded, terminating
% 225.21/196.15 eprover: CPU time limit exceeded, terminating
% 227.64/198.17 eprover: CPU time limit exceeded, terminating
% 230.11/200.19 eprover: CPU time limit exceeded, terminating
% 232.56/202.21 eprover: CPU time limit exceeded, terminating
% 234.97/204.22 eprover: CPU time limit exceeded, terminating
% 237.46/206.24 eprover: CPU time limit exceeded, terminating
% 239.93/208.26 eprover: CPU time limit exceeded, terminating
% 242.39/210.28 eprover: CPU time limit exceeded, terminating
% 244.82/212.30 eprover: CPU time limit exceeded, terminating
% 247.26/214.32 eprover: CPU time limit exceeded, terminating
% 249.73/216.34 eprover: CPU time limit exceeded, terminating
% 252.18/218.36 eprover: CPU time limit exceeded, terminating
% 254.64/220.38 eprover: CPU time limit exceeded, terminating
% 257.07/222.39 eprover: CPU time limit exceeded, terminating
% 259.54/224.41 eprover: CPU time limit exceeded, terminating
% 262.02/226.43 eprover: CPU time limit exceeded, terminating
% 264.50/228.45 eprover: CPU time limit exceeded, terminating
% 266.95/230.47 eprover: CPU time limit exceeded, terminating
% 269.36/232.49 eprover: CPU time limit exceeded, terminating
% 271.85/234.51 eprover: CPU time limit exceeded, terminating
% 274.29/236.53 eprover: CPU time limit exceeded, terminating
% 276.73/238.54 eprover: CPU time limit exceeded, terminating
% 279.24/240.56 eprover: CPU time limit exceeded, terminating
% 281.70/242.58 eprover: CPU time limit exceeded, terminating
% 284.14/244.60 eprover: CPU time limit exceeded, terminating
% 286.60/246.62 eprover: CPU time limit exceeded, terminating
% 289.06/248.64 eprover: CPU time limit exceeded, terminating
% 291.53/250.66 eprover: CPU time limit exceeded, terminating
% 293.94/252.67 eprover: CPU time limit exceeded, terminating
% 296.45/254.69 eprover: CPU time limit exceeded, terminating
% 298.87/256.71 eprover: CPU time limit exceeded, terminating
% 300.16/257.66 eprover: CPU time limit exceeded, terminating
% 300.16/257.67 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------