TSTP Solution File: GRP643+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP643+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Sat Jul 16 09:33:53 EDT 2022
% Result : Timeout 287.21s 260.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.10 % Problem : GRP643+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.11 % Command : run_infinox %s
% 0.11/0.30 % Computer : n032.cluster.edu
% 0.11/0.30 % Model : x86_64 x86_64
% 0.11/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.30 % Memory : 8042.1875MB
% 0.11/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.30 % CPULimit : 300
% 0.11/0.30 % WCLimit : 600
% 0.11/0.30 % DateTime : Tue Jun 14 11:43:58 EDT 2022
% 0.11/0.30 % CPUTime :
% 23.01/22.97 eprover: CPU time limit exceeded, terminating
% 25.26/24.98 eprover: CPU time limit exceeded, terminating
% 27.55/27.00 eprover: CPU time limit exceeded, terminating
% 29.77/29.01 eprover: CPU time limit exceeded, terminating
% 32.01/31.03 eprover: CPU time limit exceeded, terminating
% 34.24/33.05 eprover: CPU time limit exceeded, terminating
% 36.45/35.06 eprover: CPU time limit exceeded, terminating
% 38.68/37.08 eprover: CPU time limit exceeded, terminating
% 40.93/39.09 eprover: CPU time limit exceeded, terminating
% 43.23/41.11 eprover: CPU time limit exceeded, terminating
% 45.47/43.12 eprover: CPU time limit exceeded, terminating
% 47.67/45.14 eprover: CPU time limit exceeded, terminating
% 49.90/47.16 eprover: CPU time limit exceeded, terminating
% 52.13/49.17 eprover: CPU time limit exceeded, terminating
% 54.34/51.18 eprover: CPU time limit exceeded, terminating
% 56.60/53.20 eprover: CPU time limit exceeded, terminating
% 58.92/55.22 eprover: CPU time limit exceeded, terminating
% 61.14/57.23 eprover: CPU time limit exceeded, terminating
% 63.35/59.25 eprover: CPU time limit exceeded, terminating
% 65.57/61.26 eprover: CPU time limit exceeded, terminating
% 67.82/63.28 eprover: CPU time limit exceeded, terminating
% 70.04/65.30 eprover: CPU time limit exceeded, terminating
% 72.28/67.31 eprover: CPU time limit exceeded, terminating
% 74.63/69.33 eprover: CPU time limit exceeded, terminating
% 76.84/71.35 eprover: CPU time limit exceeded, terminating
% 79.05/73.36 eprover: CPU time limit exceeded, terminating
% 81.35/75.38 eprover: CPU time limit exceeded, terminating
% 83.51/77.39 eprover: CPU time limit exceeded, terminating
% 85.83/79.41 eprover: CPU time limit exceeded, terminating
% 88.05/81.42 eprover: CPU time limit exceeded, terminating
% 90.28/83.44 eprover: CPU time limit exceeded, terminating
% 92.48/85.45 eprover: CPU time limit exceeded, terminating
% 94.74/87.47 eprover: CPU time limit exceeded, terminating
% 96.97/89.49 eprover: CPU time limit exceeded, terminating
% 99.17/91.50 eprover: CPU time limit exceeded, terminating
% 101.51/93.52 eprover: CPU time limit exceeded, terminating
% 103.74/95.53 eprover: CPU time limit exceeded, terminating
% 105.99/97.55 eprover: CPU time limit exceeded, terminating
% 108.18/99.56 eprover: CPU time limit exceeded, terminating
% 110.50/101.58 eprover: CPU time limit exceeded, terminating
% 112.73/103.59 eprover: CPU time limit exceeded, terminating
% 114.96/105.61 eprover: CPU time limit exceeded, terminating
% 117.20/107.63 eprover: CPU time limit exceeded, terminating
% 119.40/109.64 eprover: CPU time limit exceeded, terminating
% 121.64/111.66 eprover: CPU time limit exceeded, terminating
% 123.85/113.68 eprover: CPU time limit exceeded, terminating
% 126.14/115.69 eprover: CPU time limit exceeded, terminating
% 128.38/117.71 eprover: CPU time limit exceeded, terminating
% 130.59/119.72 eprover: CPU time limit exceeded, terminating
% 132.82/121.74 eprover: CPU time limit exceeded, terminating
% 135.06/123.76 eprover: CPU time limit exceeded, terminating
% 137.33/125.77 eprover: CPU time limit exceeded, terminating
% 139.49/127.79 eprover: CPU time limit exceeded, terminating
% 141.75/129.80 eprover: CPU time limit exceeded, terminating
% 144.03/131.82 eprover: CPU time limit exceeded, terminating
% 146.27/133.83 eprover: CPU time limit exceeded, terminating
% 148.52/135.85 eprover: CPU time limit exceeded, terminating
% 150.74/137.87 eprover: CPU time limit exceeded, terminating
% 153.05/139.88 eprover: CPU time limit exceeded, terminating
% 155.28/141.90 eprover: CPU time limit exceeded, terminating
% 157.56/143.91 eprover: CPU time limit exceeded, terminating
% 159.83/145.93 eprover: CPU time limit exceeded, terminating
% 162.02/147.94 eprover: CPU time limit exceeded, terminating
% 164.25/149.96 eprover: CPU time limit exceeded, terminating
% 166.46/151.98 eprover: CPU time limit exceeded, terminating
% 168.77/153.99 eprover: CPU time limit exceeded, terminating
% 171.01/156.01 eprover: CPU time limit exceeded, terminating
% 173.25/158.02 eprover: CPU time limit exceeded, terminating
% 175.46/160.03 eprover: CPU time limit exceeded, terminating
% 177.72/162.05 eprover: CPU time limit exceeded, terminating
% 179.99/164.07 eprover: CPU time limit exceeded, terminating
% 182.13/166.08 eprover: CPU time limit exceeded, terminating
% 184.35/168.10 eprover: CPU time limit exceeded, terminating
% 186.59/170.12 eprover: CPU time limit exceeded, terminating
% 188.87/172.13 eprover: CPU time limit exceeded, terminating
% 191.00/174.15 eprover: CPU time limit exceeded, terminating
% 193.32/176.16 eprover: CPU time limit exceeded, terminating
% 195.56/178.18 eprover: CPU time limit exceeded, terminating
% 197.82/180.20 eprover: CPU time limit exceeded, terminating
% 200.00/182.21 eprover: CPU time limit exceeded, terminating
% 202.28/184.23 eprover: CPU time limit exceeded, terminating
% 204.47/186.25 eprover: CPU time limit exceeded, terminating
% 206.66/188.27 eprover: CPU time limit exceeded, terminating
% 208.93/190.28 eprover: CPU time limit exceeded, terminating
% 211.22/192.30 eprover: CPU time limit exceeded, terminating
% 213.37/194.31 eprover: CPU time limit exceeded, terminating
% 215.69/196.33 eprover: CPU time limit exceeded, terminating
% 217.90/198.34 eprover: CPU time limit exceeded, terminating
% 220.14/200.36 eprover: CPU time limit exceeded, terminating
% 222.43/202.37 eprover: CPU time limit exceeded, terminating
% 224.59/204.39 eprover: CPU time limit exceeded, terminating
% 226.92/206.40 eprover: CPU time limit exceeded, terminating
% 229.13/208.42 eprover: CPU time limit exceeded, terminating
% 231.39/210.43 eprover: CPU time limit exceeded, terminating
% 233.57/212.45 eprover: CPU time limit exceeded, terminating
% 235.83/214.47 eprover: CPU time limit exceeded, terminating
% 238.05/216.48 eprover: CPU time limit exceeded, terminating
% 240.33/218.50 eprover: CPU time limit exceeded, terminating
% 242.55/220.51 eprover: CPU time limit exceeded, terminating
% 244.77/222.53 eprover: CPU time limit exceeded, terminating
% 247.02/224.54 eprover: CPU time limit exceeded, terminating
% 249.20/226.55 eprover: CPU time limit exceeded, terminating
% 251.50/228.57 eprover: CPU time limit exceeded, terminating
% 253.64/230.59 eprover: CPU time limit exceeded, terminating
% 255.95/232.60 eprover: CPU time limit exceeded, terminating
% 258.18/234.62 eprover: CPU time limit exceeded, terminating
% 260.41/236.63 eprover: CPU time limit exceeded, terminating
% 262.59/238.65 eprover: CPU time limit exceeded, terminating
% 264.82/240.66 eprover: CPU time limit exceeded, terminating
% 267.13/242.69 eprover: CPU time limit exceeded, terminating
% 269.34/244.72 eprover: CPU time limit exceeded, terminating
% 271.59/246.73 eprover: CPU time limit exceeded, terminating
% 273.79/248.75 eprover: CPU time limit exceeded, terminating
% 275.99/250.77 eprover: CPU time limit exceeded, terminating
% 278.22/252.79 eprover: CPU time limit exceeded, terminating
% 280.52/254.80 eprover: CPU time limit exceeded, terminating
% 282.72/256.82 eprover: CPU time limit exceeded, terminating
% 284.97/258.84 eprover: CPU time limit exceeded, terminating
% 287.21/260.86 eprover: CPU time limit exceeded, terminating
% 289.39/262.87 eprover: CPU time limit exceeded, terminating
% 291.70/264.89 eprover: CPU time limit exceeded, terminating
% 293.93/266.90 eprover: CPU time limit exceeded, terminating
% 296.14/268.91 eprover: CPU time limit exceeded, terminating
% 298.35/270.94 eprover: CPU time limit exceeded, terminating
% 300.02/272.38 eprover: CPU time limit exceeded, terminating
% 300.02/272.39 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------