TSTP Solution File: SWW477+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW477+7 : TPTP v8.1.0. Released v5.3.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:59 EDT 2022
% Result : Timeout 287.18s 221.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWW477+7 : TPTP v8.1.0. Released v5.3.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n029.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jun 5 23:58:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 26.81/26.22 eprover: CPU time limit exceeded, terminating
% 29.50/28.24 eprover: CPU time limit exceeded, terminating
% 32.17/30.25 eprover: CPU time limit exceeded, terminating
% 34.77/32.27 eprover: CPU time limit exceeded, terminating
% 37.49/34.28 eprover: CPU time limit exceeded, terminating
% 40.27/36.30 eprover: CPU time limit exceeded, terminating
% 42.92/38.32 eprover: CPU time limit exceeded, terminating
% 45.69/40.33 eprover: CPU time limit exceeded, terminating
% 48.37/42.35 eprover: CPU time limit exceeded, terminating
% 51.08/44.36 eprover: CPU time limit exceeded, terminating
% 53.73/46.38 eprover: CPU time limit exceeded, terminating
% 56.44/48.40 eprover: CPU time limit exceeded, terminating
% 59.16/50.41 eprover: CPU time limit exceeded, terminating
% 61.79/52.43 eprover: CPU time limit exceeded, terminating
% 64.49/54.45 eprover: CPU time limit exceeded, terminating
% 67.17/56.47 eprover: CPU time limit exceeded, terminating
% 69.95/58.49 eprover: CPU time limit exceeded, terminating
% 72.56/60.50 eprover: CPU time limit exceeded, terminating
% 75.30/62.52 eprover: CPU time limit exceeded, terminating
% 77.99/64.54 eprover: CPU time limit exceeded, terminating
% 80.67/66.55 eprover: CPU time limit exceeded, terminating
% 83.33/68.57 eprover: CPU time limit exceeded, terminating
% 85.99/70.58 eprover: CPU time limit exceeded, terminating
% 88.68/72.60 eprover: CPU time limit exceeded, terminating
% 91.33/74.62 eprover: CPU time limit exceeded, terminating
% 94.03/76.63 eprover: CPU time limit exceeded, terminating
% 96.75/78.65 eprover: CPU time limit exceeded, terminating
% 99.42/80.67 eprover: CPU time limit exceeded, terminating
% 102.13/82.69 eprover: CPU time limit exceeded, terminating
% 104.72/84.70 eprover: CPU time limit exceeded, terminating
% 107.45/86.71 eprover: CPU time limit exceeded, terminating
% 110.13/88.73 eprover: CPU time limit exceeded, terminating
% 112.76/90.75 eprover: CPU time limit exceeded, terminating
% 115.52/92.76 eprover: CPU time limit exceeded, terminating
% 118.17/94.78 eprover: CPU time limit exceeded, terminating
% 120.87/96.79 eprover: CPU time limit exceeded, terminating
% 123.57/98.81 eprover: CPU time limit exceeded, terminating
% 126.20/100.83 eprover: CPU time limit exceeded, terminating
% 128.75/102.84 eprover: CPU time limit exceeded, terminating
% 131.47/104.85 eprover: CPU time limit exceeded, terminating
% 134.12/106.87 eprover: CPU time limit exceeded, terminating
% 136.68/108.89 eprover: CPU time limit exceeded, terminating
% 139.38/110.91 eprover: CPU time limit exceeded, terminating
% 142.12/112.93 eprover: CPU time limit exceeded, terminating
% 144.87/114.94 eprover: CPU time limit exceeded, terminating
% 147.54/116.96 eprover: CPU time limit exceeded, terminating
% 150.24/118.98 eprover: CPU time limit exceeded, terminating
% 152.91/121.00 eprover: CPU time limit exceeded, terminating
% 155.57/123.02 eprover: CPU time limit exceeded, terminating
% 158.25/125.04 eprover: CPU time limit exceeded, terminating
% 160.92/127.06 eprover: CPU time limit exceeded, terminating
% 163.60/129.08 eprover: CPU time limit exceeded, terminating
% 166.34/131.09 eprover: CPU time limit exceeded, terminating
% 169.02/133.11 eprover: CPU time limit exceeded, terminating
% 171.70/135.13 eprover: CPU time limit exceeded, terminating
% 174.39/137.15 eprover: CPU time limit exceeded, terminating
% 177.09/139.17 eprover: CPU time limit exceeded, terminating
% 179.74/141.19 eprover: CPU time limit exceeded, terminating
% 182.47/143.21 eprover: CPU time limit exceeded, terminating
% 185.19/145.23 eprover: CPU time limit exceeded, terminating
% 187.82/147.25 eprover: CPU time limit exceeded, terminating
% 190.52/149.27 eprover: CPU time limit exceeded, terminating
% 193.23/151.28 eprover: CPU time limit exceeded, terminating
% 195.92/153.30 eprover: CPU time limit exceeded, terminating
% 198.59/155.32 eprover: CPU time limit exceeded, terminating
% 201.24/157.34 eprover: CPU time limit exceeded, terminating
% 203.92/159.36 eprover: CPU time limit exceeded, terminating
% 206.68/161.38 eprover: CPU time limit exceeded, terminating
% 209.35/163.40 eprover: CPU time limit exceeded, terminating
% 212.00/165.42 eprover: CPU time limit exceeded, terminating
% 214.67/167.44 eprover: CPU time limit exceeded, terminating
% 217.43/169.46 eprover: CPU time limit exceeded, terminating
% 220.09/171.47 eprover: CPU time limit exceeded, terminating
% 222.80/173.49 eprover: CPU time limit exceeded, terminating
% 225.46/175.51 eprover: CPU time limit exceeded, terminating
% 228.13/177.53 eprover: CPU time limit exceeded, terminating
% 230.85/179.55 eprover: CPU time limit exceeded, terminating
% 233.50/181.57 eprover: CPU time limit exceeded, terminating
% 236.23/183.59 eprover: CPU time limit exceeded, terminating
% 238.89/185.61 eprover: CPU time limit exceeded, terminating
% 241.52/187.63 eprover: CPU time limit exceeded, terminating
% 244.28/189.65 eprover: CPU time limit exceeded, terminating
% 246.93/191.67 eprover: CPU time limit exceeded, terminating
% 249.61/193.69 eprover: CPU time limit exceeded, terminating
% 252.32/195.70 eprover: CPU time limit exceeded, terminating
% 254.95/197.72 eprover: CPU time limit exceeded, terminating
% 257.71/199.74 eprover: CPU time limit exceeded, terminating
% 260.37/201.76 eprover: CPU time limit exceeded, terminating
% 263.05/203.78 eprover: CPU time limit exceeded, terminating
% 265.75/205.80 eprover: CPU time limit exceeded, terminating
% 268.44/207.82 eprover: CPU time limit exceeded, terminating
% 271.15/209.84 eprover: CPU time limit exceeded, terminating
% 273.83/211.86 eprover: CPU time limit exceeded, terminating
% 276.54/213.88 eprover: CPU time limit exceeded, terminating
% 279.18/215.90 eprover: CPU time limit exceeded, terminating
% 281.86/217.92 eprover: CPU time limit exceeded, terminating
% 284.56/219.94 eprover: CPU time limit exceeded, terminating
% 287.18/221.95 eprover: CPU time limit exceeded, terminating
% 289.89/223.97 eprover: CPU time limit exceeded, terminating
% 292.57/225.99 eprover: CPU time limit exceeded, terminating
% 295.27/228.01 eprover: CPU time limit exceeded, terminating
% 297.92/230.03 eprover: CPU time limit exceeded, terminating
% 300.04/231.44 eprover: CPU time limit exceeded, terminating
% 300.04/231.46 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------