TSTP Solution File: LAT283+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT283+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 : Sun Jul 17 05:13:44 EDT 2022
% Result : Timeout 287.31s 250.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : LAT283+2 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.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 : Wed Jun 29 04:05:17 EDT 2022
% 0.13/0.34 % CPUTime :
% 21.41/21.33 eprover: CPU time limit exceeded, terminating
% 23.68/23.38 eprover: CPU time limit exceeded, terminating
% 26.00/25.39 eprover: CPU time limit exceeded, terminating
% 28.38/27.40 eprover: CPU time limit exceeded, terminating
% 30.72/29.42 eprover: CPU time limit exceeded, terminating
% 33.05/31.43 eprover: CPU time limit exceeded, terminating
% 35.34/33.45 eprover: CPU time limit exceeded, terminating
% 37.69/35.46 eprover: CPU time limit exceeded, terminating
% 39.95/37.47 eprover: CPU time limit exceeded, terminating
% 42.36/39.49 eprover: CPU time limit exceeded, terminating
% 44.57/41.50 eprover: CPU time limit exceeded, terminating
% 46.91/43.51 eprover: CPU time limit exceeded, terminating
% 49.26/45.53 eprover: CPU time limit exceeded, terminating
% 51.54/47.54 eprover: CPU time limit exceeded, terminating
% 53.88/49.56 eprover: CPU time limit exceeded, terminating
% 56.25/51.57 eprover: CPU time limit exceeded, terminating
% 58.49/53.59 eprover: CPU time limit exceeded, terminating
% 60.87/55.60 eprover: CPU time limit exceeded, terminating
% 63.16/57.62 eprover: CPU time limit exceeded, terminating
% 65.41/59.63 eprover: CPU time limit exceeded, terminating
% 67.67/61.64 eprover: CPU time limit exceeded, terminating
% 69.96/63.66 eprover: CPU time limit exceeded, terminating
% 72.30/65.68 eprover: CPU time limit exceeded, terminating
% 74.67/67.69 eprover: CPU time limit exceeded, terminating
% 76.99/69.70 eprover: CPU time limit exceeded, terminating
% 79.33/71.72 eprover: CPU time limit exceeded, terminating
% 81.67/73.73 eprover: CPU time limit exceeded, terminating
% 83.93/75.75 eprover: CPU time limit exceeded, terminating
% 86.27/77.76 eprover: CPU time limit exceeded, terminating
% 88.55/79.77 eprover: CPU time limit exceeded, terminating
% 90.87/81.78 eprover: CPU time limit exceeded, terminating
% 93.26/83.79 eprover: CPU time limit exceeded, terminating
% 95.51/85.81 eprover: CPU time limit exceeded, terminating
% 97.90/87.82 eprover: CPU time limit exceeded, terminating
% 100.23/89.84 eprover: CPU time limit exceeded, terminating
% 102.44/91.85 eprover: CPU time limit exceeded, terminating
% 104.79/93.87 eprover: CPU time limit exceeded, terminating
% 107.12/95.88 eprover: CPU time limit exceeded, terminating
% 109.47/97.89 eprover: CPU time limit exceeded, terminating
% 111.82/99.91 eprover: CPU time limit exceeded, terminating
% 114.15/101.92 eprover: CPU time limit exceeded, terminating
% 116.44/103.94 eprover: CPU time limit exceeded, terminating
% 118.76/105.95 eprover: CPU time limit exceeded, terminating
% 121.04/107.97 eprover: CPU time limit exceeded, terminating
% 123.38/109.98 eprover: CPU time limit exceeded, terminating
% 125.71/112.00 eprover: CPU time limit exceeded, terminating
% 127.98/114.01 eprover: CPU time limit exceeded, terminating
% 132.35/116.02 eprover: CPU time limit exceeded, terminating
% 134.66/118.04 eprover: CPU time limit exceeded, terminating
% 136.98/120.05 eprover: CPU time limit exceeded, terminating
% 139.32/122.07 eprover: CPU time limit exceeded, terminating
% 141.58/124.08 eprover: CPU time limit exceeded, terminating
% 143.87/126.09 eprover: CPU time limit exceeded, terminating
% 146.19/128.10 eprover: CPU time limit exceeded, terminating
% 148.54/130.12 eprover: CPU time limit exceeded, terminating
% 150.84/132.13 eprover: CPU time limit exceeded, terminating
% 153.14/134.15 eprover: CPU time limit exceeded, terminating
% 155.47/136.16 eprover: CPU time limit exceeded, terminating
% 157.81/138.18 eprover: CPU time limit exceeded, terminating
% 160.14/140.19 eprover: CPU time limit exceeded, terminating
% 162.39/142.20 eprover: CPU time limit exceeded, terminating
% 164.80/144.22 eprover: CPU time limit exceeded, terminating
% 167.06/146.23 eprover: CPU time limit exceeded, terminating
% 169.41/148.25 eprover: CPU time limit exceeded, terminating
% 171.62/150.26 eprover: CPU time limit exceeded, terminating
% 173.95/152.27 eprover: CPU time limit exceeded, terminating
% 176.35/154.29 eprover: CPU time limit exceeded, terminating
% 178.59/156.30 eprover: CPU time limit exceeded, terminating
% 180.97/158.31 eprover: CPU time limit exceeded, terminating
% 183.29/160.33 eprover: CPU time limit exceeded, terminating
% 185.61/162.34 eprover: CPU time limit exceeded, terminating
% 187.91/164.36 eprover: CPU time limit exceeded, terminating
% 190.17/166.37 eprover: CPU time limit exceeded, terminating
% 192.54/168.38 eprover: CPU time limit exceeded, terminating
% 194.84/170.40 eprover: CPU time limit exceeded, terminating
% 197.08/172.41 eprover: CPU time limit exceeded, terminating
% 199.45/174.43 eprover: CPU time limit exceeded, terminating
% 201.68/176.44 eprover: CPU time limit exceeded, terminating
% 203.98/178.45 eprover: CPU time limit exceeded, terminating
% 206.25/180.47 eprover: CPU time limit exceeded, terminating
% 208.66/182.48 eprover: CPU time limit exceeded, terminating
% 210.89/184.50 eprover: CPU time limit exceeded, terminating
% 213.29/186.51 eprover: CPU time limit exceeded, terminating
% 215.61/188.53 eprover: CPU time limit exceeded, terminating
% 217.88/190.54 eprover: CPU time limit exceeded, terminating
% 220.21/192.55 eprover: CPU time limit exceeded, terminating
% 222.51/194.57 eprover: CPU time limit exceeded, terminating
% 224.88/196.58 eprover: CPU time limit exceeded, terminating
% 227.21/198.60 eprover: CPU time limit exceeded, terminating
% 229.51/200.62 eprover: CPU time limit exceeded, terminating
% 231.85/202.63 eprover: CPU time limit exceeded, terminating
% 234.11/204.64 eprover: CPU time limit exceeded, terminating
% 236.45/206.65 eprover: CPU time limit exceeded, terminating
% 238.73/208.68 eprover: CPU time limit exceeded, terminating
% 241.10/210.69 eprover: CPU time limit exceeded, terminating
% 243.35/212.70 eprover: CPU time limit exceeded, terminating
% 245.63/214.72 eprover: CPU time limit exceeded, terminating
% 247.97/216.73 eprover: CPU time limit exceeded, terminating
% 250.31/218.75 eprover: CPU time limit exceeded, terminating
% 252.59/220.76 eprover: CPU time limit exceeded, terminating
% 254.96/222.77 eprover: CPU time limit exceeded, terminating
% 257.19/224.78 eprover: CPU time limit exceeded, terminating
% 259.60/226.80 eprover: CPU time limit exceeded, terminating
% 261.90/228.81 eprover: CPU time limit exceeded, terminating
% 264.23/230.82 eprover: CPU time limit exceeded, terminating
% 266.52/232.84 eprover: CPU time limit exceeded, terminating
% 268.83/234.85 eprover: CPU time limit exceeded, terminating
% 271.14/236.86 eprover: CPU time limit exceeded, terminating
% 273.44/238.88 eprover: CPU time limit exceeded, terminating
% 275.75/240.89 eprover: CPU time limit exceeded, terminating
% 278.11/242.90 eprover: CPU time limit exceeded, terminating
% 280.42/244.92 eprover: CPU time limit exceeded, terminating
% 282.71/246.93 eprover: CPU time limit exceeded, terminating
% 285.05/248.94 eprover: CPU time limit exceeded, terminating
% 287.31/250.96 eprover: CPU time limit exceeded, terminating
% 289.67/252.97 eprover: CPU time limit exceeded, terminating
% 291.95/254.98 eprover: CPU time limit exceeded, terminating
% 294.25/256.99 eprover: CPU time limit exceeded, terminating
% 296.62/259.01 eprover: CPU time limit exceeded, terminating
% 298.94/261.02 eprover: CPU time limit exceeded, terminating
% 300.13/261.92 eprover: CPU time limit exceeded, terminating
% 300.13/261.94 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------