TSTP Solution File: ALG216+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG216+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 14 17:00:40 EDT 2022
% Result : Timeout 286.52s 264.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : ALG216+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 : Wed Jun 8 07:58:35 EDT 2022
% 0.12/0.33 % CPUTime :
% 8.93/9.00 eprover: CPU time limit exceeded, terminating
% 11.10/11.01 eprover: CPU time limit exceeded, terminating
% 13.37/13.02 eprover: CPU time limit exceeded, terminating
% 15.52/15.03 eprover: CPU time limit exceeded, terminating
% 17.73/17.04 eprover: CPU time limit exceeded, terminating
% 19.91/19.04 eprover: CPU time limit exceeded, terminating
% 22.05/21.06 eprover: CPU time limit exceeded, terminating
% 24.19/23.07 eprover: CPU time limit exceeded, terminating
% 26.47/25.09 eprover: CPU time limit exceeded, terminating
% 28.59/27.10 eprover: CPU time limit exceeded, terminating
% 30.82/29.11 eprover: CPU time limit exceeded, terminating
% 32.94/31.12 eprover: CPU time limit exceeded, terminating
% 35.22/33.13 eprover: CPU time limit exceeded, terminating
% 37.38/35.14 eprover: CPU time limit exceeded, terminating
% 39.54/37.15 eprover: CPU time limit exceeded, terminating
% 41.68/39.16 eprover: CPU time limit exceeded, terminating
% 43.89/41.18 eprover: CPU time limit exceeded, terminating
% 46.07/43.20 eprover: CPU time limit exceeded, terminating
% 48.21/45.21 eprover: CPU time limit exceeded, terminating
% 50.44/47.24 eprover: CPU time limit exceeded, terminating
% 52.65/49.25 eprover: CPU time limit exceeded, terminating
% 54.84/51.26 eprover: CPU time limit exceeded, terminating
% 56.99/53.27 eprover: CPU time limit exceeded, terminating
% 59.15/55.28 eprover: CPU time limit exceeded, terminating
% 61.34/57.29 eprover: CPU time limit exceeded, terminating
% 63.59/59.31 eprover: CPU time limit exceeded, terminating
% 65.80/61.32 eprover: CPU time limit exceeded, terminating
% 67.97/63.33 eprover: CPU time limit exceeded, terminating
% 70.14/65.34 eprover: CPU time limit exceeded, terminating
% 72.32/67.35 eprover: CPU time limit exceeded, terminating
% 74.47/69.36 eprover: CPU time limit exceeded, terminating
% 76.66/71.37 eprover: CPU time limit exceeded, terminating
% 78.92/73.39 eprover: CPU time limit exceeded, terminating
% 81.11/75.40 eprover: CPU time limit exceeded, terminating
% 83.27/77.42 eprover: CPU time limit exceeded, terminating
% 85.45/79.44 eprover: CPU time limit exceeded, terminating
% 87.64/81.45 eprover: CPU time limit exceeded, terminating
% 89.80/83.46 eprover: CPU time limit exceeded, terminating
% 91.99/85.48 eprover: CPU time limit exceeded, terminating
% 94.23/87.49 eprover: CPU time limit exceeded, terminating
% 96.42/89.51 eprover: CPU time limit exceeded, terminating
% 98.59/91.52 eprover: CPU time limit exceeded, terminating
% 100.76/93.53 eprover: CPU time limit exceeded, terminating
% 102.95/95.54 eprover: CPU time limit exceeded, terminating
% 105.11/97.56 eprover: CPU time limit exceeded, terminating
% 107.31/99.57 eprover: CPU time limit exceeded, terminating
% 109.46/101.58 eprover: CPU time limit exceeded, terminating
% 111.65/103.59 eprover: CPU time limit exceeded, terminating
% 113.91/105.60 eprover: CPU time limit exceeded, terminating
% 116.11/107.61 eprover: CPU time limit exceeded, terminating
% 118.29/109.62 eprover: CPU time limit exceeded, terminating
% 120.44/111.63 eprover: CPU time limit exceeded, terminating
% 122.63/113.65 eprover: CPU time limit exceeded, terminating
% 124.83/115.66 eprover: CPU time limit exceeded, terminating
% 127.06/117.69 eprover: CPU time limit exceeded, terminating
% 129.23/119.70 eprover: CPU time limit exceeded, terminating
% 131.43/121.72 eprover: CPU time limit exceeded, terminating
% 133.62/123.73 eprover: CPU time limit exceeded, terminating
% 135.75/125.74 eprover: CPU time limit exceeded, terminating
% 137.96/127.75 eprover: CPU time limit exceeded, terminating
% 140.16/129.76 eprover: CPU time limit exceeded, terminating
% 142.28/131.78 eprover: CPU time limit exceeded, terminating
% 144.50/133.78 eprover: CPU time limit exceeded, terminating
% 146.61/135.80 eprover: CPU time limit exceeded, terminating
% 148.86/137.80 eprover: CPU time limit exceeded, terminating
% 150.95/139.83 eprover: CPU time limit exceeded, terminating
% 153.18/141.84 eprover: CPU time limit exceeded, terminating
% 155.36/143.85 eprover: CPU time limit exceeded, terminating
% 157.55/145.86 eprover: CPU time limit exceeded, terminating
% 159.75/147.87 eprover: CPU time limit exceeded, terminating
% 161.88/149.88 eprover: CPU time limit exceeded, terminating
% 164.09/151.89 eprover: CPU time limit exceeded, terminating
% 166.28/153.90 eprover: CPU time limit exceeded, terminating
% 168.49/155.91 eprover: CPU time limit exceeded, terminating
% 170.67/157.92 eprover: CPU time limit exceeded, terminating
% 172.78/159.93 eprover: CPU time limit exceeded, terminating
% 174.98/161.95 eprover: CPU time limit exceeded, terminating
% 177.20/163.96 eprover: CPU time limit exceeded, terminating
% 179.37/165.97 eprover: CPU time limit exceeded, terminating
% 181.56/167.98 eprover: CPU time limit exceeded, terminating
% 183.69/170.00 eprover: CPU time limit exceeded, terminating
% 185.92/172.01 eprover: CPU time limit exceeded, terminating
% 188.11/174.02 eprover: CPU time limit exceeded, terminating
% 190.28/176.03 eprover: CPU time limit exceeded, terminating
% 192.46/178.04 eprover: CPU time limit exceeded, terminating
% 194.67/180.05 eprover: CPU time limit exceeded, terminating
% 196.83/182.06 eprover: CPU time limit exceeded, terminating
% 199.05/184.07 eprover: CPU time limit exceeded, terminating
% 201.20/186.08 eprover: CPU time limit exceeded, terminating
% 203.41/188.09 eprover: CPU time limit exceeded, terminating
% 205.59/190.10 eprover: CPU time limit exceeded, terminating
% 207.77/192.12 eprover: CPU time limit exceeded, terminating
% 209.97/194.13 eprover: CPU time limit exceeded, terminating
% 212.13/196.14 eprover: CPU time limit exceeded, terminating
% 214.32/198.15 eprover: CPU time limit exceeded, terminating
% 216.53/200.16 eprover: CPU time limit exceeded, terminating
% 218.73/202.17 eprover: CPU time limit exceeded, terminating
% 220.91/204.19 eprover: CPU time limit exceeded, terminating
% 223.08/206.20 eprover: CPU time limit exceeded, terminating
% 225.28/208.21 eprover: CPU time limit exceeded, terminating
% 227.47/210.22 eprover: CPU time limit exceeded, terminating
% 229.62/212.23 eprover: CPU time limit exceeded, terminating
% 231.83/214.24 eprover: CPU time limit exceeded, terminating
% 234.05/216.25 eprover: CPU time limit exceeded, terminating
% 236.21/218.26 eprover: CPU time limit exceeded, terminating
% 238.41/220.27 eprover: CPU time limit exceeded, terminating
% 240.60/222.29 eprover: CPU time limit exceeded, terminating
% 242.76/224.30 eprover: CPU time limit exceeded, terminating
% 244.95/226.31 eprover: CPU time limit exceeded, terminating
% 247.17/228.32 eprover: CPU time limit exceeded, terminating
% 249.35/230.33 eprover: CPU time limit exceeded, terminating
% 251.58/232.34 eprover: CPU time limit exceeded, terminating
% 253.77/234.35 eprover: CPU time limit exceeded, terminating
% 255.94/236.36 eprover: CPU time limit exceeded, terminating
% 258.10/238.37 eprover: CPU time limit exceeded, terminating
% 260.29/240.39 eprover: CPU time limit exceeded, terminating
% 262.50/242.40 eprover: CPU time limit exceeded, terminating
% 264.66/244.41 eprover: CPU time limit exceeded, terminating
% 266.85/246.42 eprover: CPU time limit exceeded, terminating
% 269.09/248.43 eprover: CPU time limit exceeded, terminating
% 271.19/250.44 eprover: CPU time limit exceeded, terminating
% 273.42/252.45 eprover: CPU time limit exceeded, terminating
% 275.65/254.46 eprover: CPU time limit exceeded, terminating
% 277.83/256.47 eprover: CPU time limit exceeded, terminating
% 280.02/258.48 eprover: CPU time limit exceeded, terminating
% 282.19/260.49 eprover: CPU time limit exceeded, terminating
% 284.35/262.50 eprover: CPU time limit exceeded, terminating
% 286.52/264.51 eprover: CPU time limit exceeded, terminating
% 288.69/266.53 eprover: CPU time limit exceeded, terminating
% 290.92/268.54 eprover: CPU time limit exceeded, terminating
% 293.15/270.55 eprover: CPU time limit exceeded, terminating
% 295.33/272.56 eprover: CPU time limit exceeded, terminating
% 297.53/274.57 eprover: CPU time limit exceeded, terminating
% 299.72/276.58 eprover: CPU time limit exceeded, terminating
% 300.16/276.96 eprover: CPU time limit exceeded, terminating
% 300.16/276.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------