TSTP Solution File: TOP026+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP026+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 21:26:32 EDT 2022
% Result : Timeout 287.11s 262.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : TOP026+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n019.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 May 29 14:03:11 EDT 2022
% 0.13/0.34 % CPUTime :
% 14.63/14.71 eprover: CPU time limit exceeded, terminating
% 16.81/16.73 eprover: CPU time limit exceeded, terminating
% 18.97/18.75 eprover: CPU time limit exceeded, terminating
% 21.17/20.76 eprover: CPU time limit exceeded, terminating
% 23.35/22.78 eprover: CPU time limit exceeded, terminating
% 25.49/24.79 eprover: CPU time limit exceeded, terminating
% 27.63/26.81 eprover: CPU time limit exceeded, terminating
% 29.79/28.82 eprover: CPU time limit exceeded, terminating
% 31.96/30.84 eprover: CPU time limit exceeded, terminating
% 34.18/32.85 eprover: CPU time limit exceeded, terminating
% 36.37/34.86 eprover: CPU time limit exceeded, terminating
% 38.50/36.89 eprover: CPU time limit exceeded, terminating
% 40.66/38.90 eprover: CPU time limit exceeded, terminating
% 42.78/40.93 eprover: CPU time limit exceeded, terminating
% 45.03/42.94 eprover: CPU time limit exceeded, terminating
% 47.25/44.94 eprover: CPU time limit exceeded, terminating
% 49.44/46.96 eprover: CPU time limit exceeded, terminating
% 51.59/48.97 eprover: CPU time limit exceeded, terminating
% 53.84/50.98 eprover: CPU time limit exceeded, terminating
% 56.03/52.99 eprover: CPU time limit exceeded, terminating
% 58.23/55.00 eprover: CPU time limit exceeded, terminating
% 60.44/57.01 eprover: CPU time limit exceeded, terminating
% 62.63/59.02 eprover: CPU time limit exceeded, terminating
% 64.79/61.03 eprover: CPU time limit exceeded, terminating
% 67.07/63.05 eprover: CPU time limit exceeded, terminating
% 69.29/65.06 eprover: CPU time limit exceeded, terminating
% 71.46/67.07 eprover: CPU time limit exceeded, terminating
% 73.67/69.09 eprover: CPU time limit exceeded, terminating
% 75.93/71.10 eprover: CPU time limit exceeded, terminating
% 78.10/73.11 eprover: CPU time limit exceeded, terminating
% 80.33/75.12 eprover: CPU time limit exceeded, terminating
% 82.52/77.14 eprover: CPU time limit exceeded, terminating
% 84.68/79.15 eprover: CPU time limit exceeded, terminating
% 86.95/81.16 eprover: CPU time limit exceeded, terminating
% 89.15/83.17 eprover: CPU time limit exceeded, terminating
% 91.36/85.18 eprover: CPU time limit exceeded, terminating
% 93.57/87.20 eprover: CPU time limit exceeded, terminating
% 95.76/89.21 eprover: CPU time limit exceeded, terminating
% 97.92/91.22 eprover: CPU time limit exceeded, terminating
% 100.20/93.24 eprover: CPU time limit exceeded, terminating
% 102.40/95.25 eprover: CPU time limit exceeded, terminating
% 104.59/97.26 eprover: CPU time limit exceeded, terminating
% 106.81/99.27 eprover: CPU time limit exceeded, terminating
% 108.99/101.29 eprover: CPU time limit exceeded, terminating
% 111.21/103.30 eprover: CPU time limit exceeded, terminating
% 113.46/105.31 eprover: CPU time limit exceeded, terminating
% 115.64/107.32 eprover: CPU time limit exceeded, terminating
% 117.79/109.34 eprover: CPU time limit exceeded, terminating
% 120.07/111.35 eprover: CPU time limit exceeded, terminating
% 122.24/113.36 eprover: CPU time limit exceeded, terminating
% 124.46/115.37 eprover: CPU time limit exceeded, terminating
% 126.66/117.39 eprover: CPU time limit exceeded, terminating
% 128.87/119.40 eprover: CPU time limit exceeded, terminating
% 131.03/121.41 eprover: CPU time limit exceeded, terminating
% 133.30/123.43 eprover: CPU time limit exceeded, terminating
% 135.51/125.44 eprover: CPU time limit exceeded, terminating
% 137.70/127.45 eprover: CPU time limit exceeded, terminating
% 139.90/129.47 eprover: CPU time limit exceeded, terminating
% 142.09/131.48 eprover: CPU time limit exceeded, terminating
% 144.31/133.49 eprover: CPU time limit exceeded, terminating
% 146.49/135.50 eprover: CPU time limit exceeded, terminating
% 148.69/137.52 eprover: CPU time limit exceeded, terminating
% 150.92/139.53 eprover: CPU time limit exceeded, terminating
% 153.13/141.54 eprover: CPU time limit exceeded, terminating
% 155.32/143.55 eprover: CPU time limit exceeded, terminating
% 157.53/145.57 eprover: CPU time limit exceeded, terminating
% 159.75/147.58 eprover: CPU time limit exceeded, terminating
% 161.93/149.59 eprover: CPU time limit exceeded, terminating
% 164.10/151.60 eprover: CPU time limit exceeded, terminating
% 166.31/153.61 eprover: CPU time limit exceeded, terminating
% 168.50/155.63 eprover: CPU time limit exceeded, terminating
% 170.76/157.64 eprover: CPU time limit exceeded, terminating
% 172.97/159.65 eprover: CPU time limit exceeded, terminating
% 175.16/161.67 eprover: CPU time limit exceeded, terminating
% 177.36/163.68 eprover: CPU time limit exceeded, terminating
% 179.55/165.69 eprover: CPU time limit exceeded, terminating
% 181.74/167.70 eprover: CPU time limit exceeded, terminating
% 183.92/169.72 eprover: CPU time limit exceeded, terminating
% 186.15/171.73 eprover: CPU time limit exceeded, terminating
% 188.39/173.74 eprover: CPU time limit exceeded, terminating
% 190.57/175.75 eprover: CPU time limit exceeded, terminating
% 192.80/177.76 eprover: CPU time limit exceeded, terminating
% 194.98/179.78 eprover: CPU time limit exceeded, terminating
% 197.16/181.79 eprover: CPU time limit exceeded, terminating
% 199.39/183.80 eprover: CPU time limit exceeded, terminating
% 201.58/185.81 eprover: CPU time limit exceeded, terminating
% 203.83/187.83 eprover: CPU time limit exceeded, terminating
% 205.97/189.84 eprover: CPU time limit exceeded, terminating
% 208.20/191.85 eprover: CPU time limit exceeded, terminating
% 210.33/193.86 eprover: CPU time limit exceeded, terminating
% 214.48/195.87 eprover: CPU time limit exceeded, terminating
% 216.73/197.89 eprover: CPU time limit exceeded, terminating
% 218.89/199.90 eprover: CPU time limit exceeded, terminating
% 221.07/201.91 eprover: CPU time limit exceeded, terminating
% 223.27/203.93 eprover: CPU time limit exceeded, terminating
% 225.49/205.94 eprover: CPU time limit exceeded, terminating
% 227.71/207.95 eprover: CPU time limit exceeded, terminating
% 229.82/209.96 eprover: CPU time limit exceeded, terminating
% 232.13/211.99 eprover: CPU time limit exceeded, terminating
% 234.31/214.00 eprover: CPU time limit exceeded, terminating
% 236.50/216.01 eprover: CPU time limit exceeded, terminating
% 238.73/218.02 eprover: CPU time limit exceeded, terminating
% 240.88/220.03 eprover: CPU time limit exceeded, terminating
% 243.13/222.05 eprover: CPU time limit exceeded, terminating
% 245.26/224.06 eprover: CPU time limit exceeded, terminating
% 247.49/226.08 eprover: CPU time limit exceeded, terminating
% 249.75/228.09 eprover: CPU time limit exceeded, terminating
% 251.94/230.10 eprover: CPU time limit exceeded, terminating
% 254.13/232.12 eprover: CPU time limit exceeded, terminating
% 256.29/234.13 eprover: CPU time limit exceeded, terminating
% 258.51/236.15 eprover: CPU time limit exceeded, terminating
% 260.66/238.16 eprover: CPU time limit exceeded, terminating
% 262.89/240.17 eprover: CPU time limit exceeded, terminating
% 265.07/242.18 eprover: CPU time limit exceeded, terminating
% 267.27/244.20 eprover: CPU time limit exceeded, terminating
% 269.50/246.21 eprover: CPU time limit exceeded, terminating
% 271.73/248.22 eprover: CPU time limit exceeded, terminating
% 273.88/250.23 eprover: CPU time limit exceeded, terminating
% 276.11/252.24 eprover: CPU time limit exceeded, terminating
% 278.27/254.26 eprover: CPU time limit exceeded, terminating
% 280.52/256.27 eprover: CPU time limit exceeded, terminating
% 282.75/258.28 eprover: CPU time limit exceeded, terminating
% 284.89/260.29 eprover: CPU time limit exceeded, terminating
% 287.11/262.30 eprover: CPU time limit exceeded, terminating
% 289.34/264.32 eprover: CPU time limit exceeded, terminating
% 291.51/266.33 eprover: CPU time limit exceeded, terminating
% 293.74/268.34 eprover: CPU time limit exceeded, terminating
% 295.91/270.35 eprover: CPU time limit exceeded, terminating
% 298.15/272.36 eprover: CPU time limit exceeded, terminating
% 300.08/274.07 eprover: CPU time limit exceeded, terminating
% 300.08/274.09 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------