TSTP Solution File: SEU413+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU413+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:13:47 EDT 2022
% Result : Timeout 286.33s 258.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU413+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.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 : Mon Jun 20 12:50:17 EDT 2022
% 0.12/0.33 % CPUTime :
% 10.90/10.87 eprover: CPU time limit exceeded, terminating
% 13.20/12.89 eprover: CPU time limit exceeded, terminating
% 15.41/14.90 eprover: CPU time limit exceeded, terminating
% 17.66/16.91 eprover: CPU time limit exceeded, terminating
% 19.92/18.92 eprover: CPU time limit exceeded, terminating
% 22.13/20.93 eprover: CPU time limit exceeded, terminating
% 24.34/22.95 eprover: CPU time limit exceeded, terminating
% 26.58/24.96 eprover: CPU time limit exceeded, terminating
% 28.80/26.97 eprover: CPU time limit exceeded, terminating
% 31.11/28.98 eprover: CPU time limit exceeded, terminating
% 33.34/31.00 eprover: CPU time limit exceeded, terminating
% 35.58/33.01 eprover: CPU time limit exceeded, terminating
% 37.79/35.02 eprover: CPU time limit exceeded, terminating
% 40.05/37.03 eprover: CPU time limit exceeded, terminating
% 42.26/39.04 eprover: CPU time limit exceeded, terminating
% 44.54/41.06 eprover: CPU time limit exceeded, terminating
% 46.78/43.07 eprover: CPU time limit exceeded, terminating
% 49.06/45.08 eprover: CPU time limit exceeded, terminating
% 51.22/47.09 eprover: CPU time limit exceeded, terminating
% 53.53/49.11 eprover: CPU time limit exceeded, terminating
% 55.77/51.12 eprover: CPU time limit exceeded, terminating
% 57.98/53.13 eprover: CPU time limit exceeded, terminating
% 60.23/55.14 eprover: CPU time limit exceeded, terminating
% 62.49/57.15 eprover: CPU time limit exceeded, terminating
% 64.69/59.17 eprover: CPU time limit exceeded, terminating
% 66.99/61.18 eprover: CPU time limit exceeded, terminating
% 69.15/63.19 eprover: CPU time limit exceeded, terminating
% 71.45/65.20 eprover: CPU time limit exceeded, terminating
% 73.68/67.22 eprover: CPU time limit exceeded, terminating
% 75.93/69.23 eprover: CPU time limit exceeded, terminating
% 78.17/71.24 eprover: CPU time limit exceeded, terminating
% 80.37/73.25 eprover: CPU time limit exceeded, terminating
% 82.63/75.27 eprover: CPU time limit exceeded, terminating
% 84.83/77.28 eprover: CPU time limit exceeded, terminating
% 87.14/79.29 eprover: CPU time limit exceeded, terminating
% 89.42/81.30 eprover: CPU time limit exceeded, terminating
% 91.66/83.31 eprover: CPU time limit exceeded, terminating
% 93.90/85.33 eprover: CPU time limit exceeded, terminating
% 96.10/87.34 eprover: CPU time limit exceeded, terminating
% 98.31/89.35 eprover: CPU time limit exceeded, terminating
% 100.57/91.36 eprover: CPU time limit exceeded, terminating
% 102.78/93.37 eprover: CPU time limit exceeded, terminating
% 104.98/95.39 eprover: CPU time limit exceeded, terminating
% 107.28/97.40 eprover: CPU time limit exceeded, terminating
% 109.49/99.41 eprover: CPU time limit exceeded, terminating
% 111.72/101.42 eprover: CPU time limit exceeded, terminating
% 113.96/103.43 eprover: CPU time limit exceeded, terminating
% 116.14/105.45 eprover: CPU time limit exceeded, terminating
% 118.39/107.46 eprover: CPU time limit exceeded, terminating
% 120.64/109.47 eprover: CPU time limit exceeded, terminating
% 122.87/111.48 eprover: CPU time limit exceeded, terminating
% 125.17/113.50 eprover: CPU time limit exceeded, terminating
% 127.38/115.51 eprover: CPU time limit exceeded, terminating
% 129.61/117.52 eprover: CPU time limit exceeded, terminating
% 131.83/119.53 eprover: CPU time limit exceeded, terminating
% 134.09/121.55 eprover: CPU time limit exceeded, terminating
% 136.29/123.56 eprover: CPU time limit exceeded, terminating
% 138.55/125.58 eprover: CPU time limit exceeded, terminating
% 140.85/127.59 eprover: CPU time limit exceeded, terminating
% 143.01/129.60 eprover: CPU time limit exceeded, terminating
% 145.33/131.61 eprover: CPU time limit exceeded, terminating
% 147.54/133.63 eprover: CPU time limit exceeded, terminating
% 149.79/135.64 eprover: CPU time limit exceeded, terminating
% 151.99/137.65 eprover: CPU time limit exceeded, terminating
% 154.24/139.66 eprover: CPU time limit exceeded, terminating
% 156.44/141.67 eprover: CPU time limit exceeded, terminating
% 158.69/143.68 eprover: CPU time limit exceeded, terminating
% 160.99/145.70 eprover: CPU time limit exceeded, terminating
% 163.20/147.71 eprover: CPU time limit exceeded, terminating
% 165.43/149.72 eprover: CPU time limit exceeded, terminating
% 167.67/151.73 eprover: CPU time limit exceeded, terminating
% 169.90/153.74 eprover: CPU time limit exceeded, terminating
% 172.12/155.76 eprover: CPU time limit exceeded, terminating
% 174.33/157.77 eprover: CPU time limit exceeded, terminating
% 176.57/159.78 eprover: CPU time limit exceeded, terminating
% 178.77/161.79 eprover: CPU time limit exceeded, terminating
% 181.11/163.80 eprover: CPU time limit exceeded, terminating
% 183.34/165.82 eprover: CPU time limit exceeded, terminating
% 185.57/167.83 eprover: CPU time limit exceeded, terminating
% 187.77/169.84 eprover: CPU time limit exceeded, terminating
% 189.97/171.85 eprover: CPU time limit exceeded, terminating
% 192.24/173.87 eprover: CPU time limit exceeded, terminating
% 194.44/175.88 eprover: CPU time limit exceeded, terminating
% 196.76/177.89 eprover: CPU time limit exceeded, terminating
% 198.92/179.90 eprover: CPU time limit exceeded, terminating
% 201.24/181.92 eprover: CPU time limit exceeded, terminating
% 203.46/183.93 eprover: CPU time limit exceeded, terminating
% 205.66/185.95 eprover: CPU time limit exceeded, terminating
% 207.90/187.96 eprover: CPU time limit exceeded, terminating
% 210.13/189.98 eprover: CPU time limit exceeded, terminating
% 212.44/191.99 eprover: CPU time limit exceeded, terminating
% 214.59/194.00 eprover: CPU time limit exceeded, terminating
% 216.93/196.02 eprover: CPU time limit exceeded, terminating
% 219.13/198.03 eprover: CPU time limit exceeded, terminating
% 221.34/200.06 eprover: CPU time limit exceeded, terminating
% 223.61/202.07 eprover: CPU time limit exceeded, terminating
% 225.79/204.08 eprover: CPU time limit exceeded, terminating
% 228.06/206.10 eprover: CPU time limit exceeded, terminating
% 230.34/208.11 eprover: CPU time limit exceeded, terminating
% 232.53/210.13 eprover: CPU time limit exceeded, terminating
% 234.85/212.14 eprover: CPU time limit exceeded, terminating
% 237.02/214.16 eprover: CPU time limit exceeded, terminating
% 239.31/216.17 eprover: CPU time limit exceeded, terminating
% 241.50/218.18 eprover: CPU time limit exceeded, terminating
% 243.80/220.20 eprover: CPU time limit exceeded, terminating
% 246.06/222.21 eprover: CPU time limit exceeded, terminating
% 248.26/224.22 eprover: CPU time limit exceeded, terminating
% 250.49/226.24 eprover: CPU time limit exceeded, terminating
% 252.75/228.25 eprover: CPU time limit exceeded, terminating
% 254.98/230.26 eprover: CPU time limit exceeded, terminating
% 257.19/232.27 eprover: CPU time limit exceeded, terminating
% 259.45/234.29 eprover: CPU time limit exceeded, terminating
% 261.63/236.30 eprover: CPU time limit exceeded, terminating
% 263.96/238.31 eprover: CPU time limit exceeded, terminating
% 266.21/240.32 eprover: CPU time limit exceeded, terminating
% 268.41/242.33 eprover: CPU time limit exceeded, terminating
% 270.62/244.35 eprover: CPU time limit exceeded, terminating
% 272.85/246.36 eprover: CPU time limit exceeded, terminating
% 275.16/248.37 eprover: CPU time limit exceeded, terminating
% 277.31/250.38 eprover: CPU time limit exceeded, terminating
% 279.54/252.40 eprover: CPU time limit exceeded, terminating
% 281.84/254.41 eprover: CPU time limit exceeded, terminating
% 284.09/256.42 eprover: CPU time limit exceeded, terminating
% 286.33/258.43 eprover: CPU time limit exceeded, terminating
% 288.52/260.44 eprover: CPU time limit exceeded, terminating
% 290.79/262.46 eprover: CPU time limit exceeded, terminating
% 292.98/264.47 eprover: CPU time limit exceeded, terminating
% 295.27/266.48 eprover: CPU time limit exceeded, terminating
% 297.52/268.50 eprover: CPU time limit exceeded, terminating
% 299.74/270.51 eprover: CPU time limit exceeded, terminating
% 300.39/271.03 eprover: CPU time limit exceeded, terminating
% 300.39/271.04 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------