TSTP Solution File: SEU435+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU435+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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 : Tue Jul 19 10:14:05 EDT 2022
% Result : Timeout 286.46s 260.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : SEU435+2 : TPTP v8.1.0. Released v3.4.0.
% 0.14/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n010.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 19 04:16:38 EDT 2022
% 0.14/0.36 % CPUTime :
% 16.77/16.70 eprover: CPU time limit exceeded, terminating
% 18.98/18.71 eprover: CPU time limit exceeded, terminating
% 21.21/20.73 eprover: CPU time limit exceeded, terminating
% 23.42/22.75 eprover: CPU time limit exceeded, terminating
% 25.69/24.76 eprover: CPU time limit exceeded, terminating
% 27.88/26.78 eprover: CPU time limit exceeded, terminating
% 30.10/28.80 eprover: CPU time limit exceeded, terminating
% 32.35/30.81 eprover: CPU time limit exceeded, terminating
% 34.61/32.83 eprover: CPU time limit exceeded, terminating
% 36.85/34.85 eprover: CPU time limit exceeded, terminating
% 39.06/36.87 eprover: CPU time limit exceeded, terminating
% 41.27/38.88 eprover: CPU time limit exceeded, terminating
% 43.50/40.90 eprover: CPU time limit exceeded, terminating
% 45.68/42.91 eprover: CPU time limit exceeded, terminating
% 47.96/44.93 eprover: CPU time limit exceeded, terminating
% 50.22/46.94 eprover: CPU time limit exceeded, terminating
% 52.46/48.96 eprover: CPU time limit exceeded, terminating
% 54.71/50.98 eprover: CPU time limit exceeded, terminating
% 56.92/52.99 eprover: CPU time limit exceeded, terminating
% 59.17/55.01 eprover: CPU time limit exceeded, terminating
% 61.35/57.02 eprover: CPU time limit exceeded, terminating
% 63.62/59.04 eprover: CPU time limit exceeded, terminating
% 65.88/61.06 eprover: CPU time limit exceeded, terminating
% 68.13/63.07 eprover: CPU time limit exceeded, terminating
% 70.34/65.09 eprover: CPU time limit exceeded, terminating
% 72.58/67.10 eprover: CPU time limit exceeded, terminating
% 74.82/69.12 eprover: CPU time limit exceeded, terminating
% 77.06/71.13 eprover: CPU time limit exceeded, terminating
% 79.28/73.15 eprover: CPU time limit exceeded, terminating
% 81.53/75.17 eprover: CPU time limit exceeded, terminating
% 83.74/77.18 eprover: CPU time limit exceeded, terminating
% 85.93/79.19 eprover: CPU time limit exceeded, terminating
% 88.20/81.20 eprover: CPU time limit exceeded, terminating
% 90.40/83.21 eprover: CPU time limit exceeded, terminating
% 92.59/85.23 eprover: CPU time limit exceeded, terminating
% 94.87/87.24 eprover: CPU time limit exceeded, terminating
% 97.07/89.25 eprover: CPU time limit exceeded, terminating
% 99.32/91.26 eprover: CPU time limit exceeded, terminating
% 101.55/93.27 eprover: CPU time limit exceeded, terminating
% 103.75/95.29 eprover: CPU time limit exceeded, terminating
% 106.03/97.30 eprover: CPU time limit exceeded, terminating
% 108.23/99.32 eprover: CPU time limit exceeded, terminating
% 110.47/101.33 eprover: CPU time limit exceeded, terminating
% 112.66/103.34 eprover: CPU time limit exceeded, terminating
% 114.90/105.36 eprover: CPU time limit exceeded, terminating
% 117.18/107.37 eprover: CPU time limit exceeded, terminating
% 119.40/109.39 eprover: CPU time limit exceeded, terminating
% 121.63/111.40 eprover: CPU time limit exceeded, terminating
% 123.81/113.42 eprover: CPU time limit exceeded, terminating
% 126.02/115.43 eprover: CPU time limit exceeded, terminating
% 128.32/117.45 eprover: CPU time limit exceeded, terminating
% 130.55/119.46 eprover: CPU time limit exceeded, terminating
% 132.78/121.48 eprover: CPU time limit exceeded, terminating
% 135.00/123.49 eprover: CPU time limit exceeded, terminating
% 137.25/125.51 eprover: CPU time limit exceeded, terminating
% 139.47/127.52 eprover: CPU time limit exceeded, terminating
% 141.71/129.54 eprover: CPU time limit exceeded, terminating
% 143.97/131.55 eprover: CPU time limit exceeded, terminating
% 146.20/133.56 eprover: CPU time limit exceeded, terminating
% 148.42/135.58 eprover: CPU time limit exceeded, terminating
% 150.64/137.59 eprover: CPU time limit exceeded, terminating
% 152.89/139.60 eprover: CPU time limit exceeded, terminating
% 155.06/141.62 eprover: CPU time limit exceeded, terminating
% 157.34/143.63 eprover: CPU time limit exceeded, terminating
% 159.56/145.65 eprover: CPU time limit exceeded, terminating
% 161.80/147.66 eprover: CPU time limit exceeded, terminating
% 163.99/149.67 eprover: CPU time limit exceeded, terminating
% 166.22/151.69 eprover: CPU time limit exceeded, terminating
% 168.47/153.70 eprover: CPU time limit exceeded, terminating
% 170.70/155.72 eprover: CPU time limit exceeded, terminating
% 172.90/157.73 eprover: CPU time limit exceeded, terminating
% 175.15/159.74 eprover: CPU time limit exceeded, terminating
% 177.42/161.76 eprover: CPU time limit exceeded, terminating
% 179.64/163.77 eprover: CPU time limit exceeded, terminating
% 181.84/165.79 eprover: CPU time limit exceeded, terminating
% 184.04/167.80 eprover: CPU time limit exceeded, terminating
% 186.21/169.82 eprover: CPU time limit exceeded, terminating
% 188.53/171.84 eprover: CPU time limit exceeded, terminating
% 190.75/173.87 eprover: CPU time limit exceeded, terminating
% 192.94/175.88 eprover: CPU time limit exceeded, terminating
% 195.18/177.90 eprover: CPU time limit exceeded, terminating
% 197.41/179.91 eprover: CPU time limit exceeded, terminating
% 199.66/181.92 eprover: CPU time limit exceeded, terminating
% 201.86/183.94 eprover: CPU time limit exceeded, terminating
% 204.10/185.95 eprover: CPU time limit exceeded, terminating
% 206.33/187.96 eprover: CPU time limit exceeded, terminating
% 208.53/189.98 eprover: CPU time limit exceeded, terminating
% 210.74/191.99 eprover: CPU time limit exceeded, terminating
% 212.98/194.00 eprover: CPU time limit exceeded, terminating
% 215.17/196.02 eprover: CPU time limit exceeded, terminating
% 217.41/198.03 eprover: CPU time limit exceeded, terminating
% 219.65/200.05 eprover: CPU time limit exceeded, terminating
% 221.90/202.06 eprover: CPU time limit exceeded, terminating
% 224.08/204.08 eprover: CPU time limit exceeded, terminating
% 226.33/206.09 eprover: CPU time limit exceeded, terminating
% 228.52/208.11 eprover: CPU time limit exceeded, terminating
% 230.81/210.12 eprover: CPU time limit exceeded, terminating
% 233.07/212.13 eprover: CPU time limit exceeded, terminating
% 235.22/214.15 eprover: CPU time limit exceeded, terminating
% 237.43/216.16 eprover: CPU time limit exceeded, terminating
% 239.73/218.17 eprover: CPU time limit exceeded, terminating
% 241.91/220.19 eprover: CPU time limit exceeded, terminating
% 244.14/222.20 eprover: CPU time limit exceeded, terminating
% 246.41/224.22 eprover: CPU time limit exceeded, terminating
% 248.59/226.23 eprover: CPU time limit exceeded, terminating
% 250.86/228.25 eprover: CPU time limit exceeded, terminating
% 253.08/230.26 eprover: CPU time limit exceeded, terminating
% 255.30/232.28 eprover: CPU time limit exceeded, terminating
% 257.48/234.29 eprover: CPU time limit exceeded, terminating
% 259.72/236.31 eprover: CPU time limit exceeded, terminating
% 261.96/238.32 eprover: CPU time limit exceeded, terminating
% 264.19/240.33 eprover: CPU time limit exceeded, terminating
% 266.46/242.35 eprover: CPU time limit exceeded, terminating
% 268.69/244.36 eprover: CPU time limit exceeded, terminating
% 270.92/246.37 eprover: CPU time limit exceeded, terminating
% 273.12/248.39 eprover: CPU time limit exceeded, terminating
% 275.32/250.40 eprover: CPU time limit exceeded, terminating
% 277.53/252.42 eprover: CPU time limit exceeded, terminating
% 279.75/254.43 eprover: CPU time limit exceeded, terminating
% 282.04/256.45 eprover: CPU time limit exceeded, terminating
% 284.25/258.46 eprover: CPU time limit exceeded, terminating
% 286.46/260.47 eprover: CPU time limit exceeded, terminating
% 288.69/262.49 eprover: CPU time limit exceeded, terminating
% 290.89/264.51 eprover: CPU time limit exceeded, terminating
% 293.18/266.52 eprover: CPU time limit exceeded, terminating
% 295.32/268.54 eprover: CPU time limit exceeded, terminating
% 297.61/270.55 eprover: CPU time limit exceeded, terminating
% 299.81/272.57 eprover: CPU time limit exceeded, terminating
% 300.20/272.91 eprover: CPU time limit exceeded, terminating
% 300.20/272.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------