TSTP Solution File: ALG370-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG370-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:01:05 EDT 2022
% Result : Timeout 285.96s 280.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : ALG370-1 : TPTP v8.1.0. Released v4.1.0.
% 0.04/0.12 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 8 22:02:32 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.65/2.82 eprover: CPU time limit exceeded, terminating
% 4.64/4.84 eprover: CPU time limit exceeded, terminating
% 6.69/6.85 eprover: CPU time limit exceeded, terminating
% 8.71/8.86 eprover: CPU time limit exceeded, terminating
% 10.79/10.88 eprover: CPU time limit exceeded, terminating
% 12.82/12.89 eprover: CPU time limit exceeded, terminating
% 14.82/14.91 eprover: CPU time limit exceeded, terminating
% 16.85/16.92 eprover: CPU time limit exceeded, terminating
% 18.94/18.93 eprover: CPU time limit exceeded, terminating
% 20.99/20.95 eprover: CPU time limit exceeded, terminating
% 23.04/22.98 eprover: CPU time limit exceeded, terminating
% 25.04/25.00 eprover: CPU time limit exceeded, terminating
% 27.07/27.02 eprover: CPU time limit exceeded, terminating
% 29.08/29.03 eprover: CPU time limit exceeded, terminating
% 31.17/31.04 eprover: CPU time limit exceeded, terminating
% 33.22/33.07 eprover: CPU time limit exceeded, terminating
% 35.28/35.08 eprover: CPU time limit exceeded, terminating
% 37.29/37.10 eprover: CPU time limit exceeded, terminating
% 39.29/39.12 eprover: CPU time limit exceeded, terminating
% 41.39/41.14 eprover: CPU time limit exceeded, terminating
% 43.42/43.15 eprover: CPU time limit exceeded, terminating
% 45.42/45.16 eprover: CPU time limit exceeded, terminating
% 47.47/47.17 eprover: CPU time limit exceeded, terminating
% 49.52/49.19 eprover: CPU time limit exceeded, terminating
% 51.53/51.20 eprover: CPU time limit exceeded, terminating
% 53.56/53.21 eprover: CPU time limit exceeded, terminating
% 55.66/55.23 eprover: CPU time limit exceeded, terminating
% 57.64/57.25 eprover: CPU time limit exceeded, terminating
% 59.70/59.26 eprover: CPU time limit exceeded, terminating
% 61.77/61.28 eprover: CPU time limit exceeded, terminating
% 63.76/63.29 eprover: CPU time limit exceeded, terminating
% 65.85/65.31 eprover: CPU time limit exceeded, terminating
% 69.86/67.32 eprover: CPU time limit exceeded, terminating
% 71.89/69.33 eprover: CPU time limit exceeded, terminating
% 73.95/71.35 eprover: CPU time limit exceeded, terminating
% 76.00/73.36 eprover: CPU time limit exceeded, terminating
% 77.96/75.38 eprover: CPU time limit exceeded, terminating
% 80.04/77.39 eprover: CPU time limit exceeded, terminating
% 82.10/79.40 eprover: CPU time limit exceeded, terminating
% 84.09/81.41 eprover: CPU time limit exceeded, terminating
% 86.12/83.43 eprover: CPU time limit exceeded, terminating
% 88.22/85.45 eprover: CPU time limit exceeded, terminating
% 90.25/87.47 eprover: CPU time limit exceeded, terminating
% 92.26/89.49 eprover: CPU time limit exceeded, terminating
% 94.33/91.50 eprover: CPU time limit exceeded, terminating
% 96.34/93.51 eprover: CPU time limit exceeded, terminating
% 98.40/95.53 eprover: CPU time limit exceeded, terminating
% 100.44/97.55 eprover: CPU time limit exceeded, terminating
% 102.50/99.57 eprover: CPU time limit exceeded, terminating
% 104.53/101.59 eprover: CPU time limit exceeded, terminating
% 106.54/103.60 eprover: CPU time limit exceeded, terminating
% 108.60/105.62 eprover: CPU time limit exceeded, terminating
% 110.63/107.63 eprover: CPU time limit exceeded, terminating
% 112.67/109.65 eprover: CPU time limit exceeded, terminating
% 114.73/111.66 eprover: CPU time limit exceeded, terminating
% 116.77/113.67 eprover: CPU time limit exceeded, terminating
% 118.78/115.68 eprover: CPU time limit exceeded, terminating
% 120.85/117.70 eprover: CPU time limit exceeded, terminating
% 122.80/119.71 eprover: CPU time limit exceeded, terminating
% 124.87/121.73 eprover: CPU time limit exceeded, terminating
% 126.93/123.74 eprover: CPU time limit exceeded, terminating
% 128.99/125.77 eprover: CPU time limit exceeded, terminating
% 131.02/127.78 eprover: CPU time limit exceeded, terminating
% 133.06/129.80 eprover: CPU time limit exceeded, terminating
% 135.08/131.81 eprover: CPU time limit exceeded, terminating
% 137.09/133.83 eprover: CPU time limit exceeded, terminating
% 139.12/135.84 eprover: CPU time limit exceeded, terminating
% 141.21/137.86 eprover: CPU time limit exceeded, terminating
% 143.25/139.87 eprover: CPU time limit exceeded, terminating
% 145.26/141.89 eprover: CPU time limit exceeded, terminating
% 147.34/143.91 eprover: CPU time limit exceeded, terminating
% 149.35/145.94 eprover: CPU time limit exceeded, terminating
% 151.38/147.96 eprover: CPU time limit exceeded, terminating
% 153.47/149.97 eprover: CPU time limit exceeded, terminating
% 155.51/151.99 eprover: CPU time limit exceeded, terminating
% 157.54/154.00 eprover: CPU time limit exceeded, terminating
% 159.55/156.02 eprover: CPU time limit exceeded, terminating
% 161.57/158.03 eprover: CPU time limit exceeded, terminating
% 163.64/160.05 eprover: CPU time limit exceeded, terminating
% 165.63/162.07 eprover: CPU time limit exceeded, terminating
% 167.67/164.08 eprover: CPU time limit exceeded, terminating
% 169.77/166.09 eprover: CPU time limit exceeded, terminating
% 171.73/168.11 eprover: CPU time limit exceeded, terminating
% 173.80/170.12 eprover: CPU time limit exceeded, terminating
% 175.86/172.14 eprover: CPU time limit exceeded, terminating
% 177.87/174.15 eprover: CPU time limit exceeded, terminating
% 179.93/176.17 eprover: CPU time limit exceeded, terminating
% 182.00/178.18 eprover: CPU time limit exceeded, terminating
% 183.99/180.20 eprover: CPU time limit exceeded, terminating
% 186.10/182.21 eprover: CPU time limit exceeded, terminating
% 188.04/184.22 eprover: CPU time limit exceeded, terminating
% 190.14/186.25 eprover: CPU time limit exceeded, terminating
% 192.11/188.26 eprover: CPU time limit exceeded, terminating
% 194.15/190.28 eprover: CPU time limit exceeded, terminating
% 196.22/192.29 eprover: CPU time limit exceeded, terminating
% 198.24/194.31 eprover: CPU time limit exceeded, terminating
% 200.36/196.33 eprover: CPU time limit exceeded, terminating
% 202.38/198.34 eprover: CPU time limit exceeded, terminating
% 204.38/200.36 eprover: CPU time limit exceeded, terminating
% 206.43/202.37 eprover: CPU time limit exceeded, terminating
% 208.53/204.39 eprover: CPU time limit exceeded, terminating
% 210.56/206.40 eprover: CPU time limit exceeded, terminating
% 212.57/208.42 eprover: CPU time limit exceeded, terminating
% 214.61/210.44 eprover: CPU time limit exceeded, terminating
% 216.65/212.45 eprover: CPU time limit exceeded, terminating
% 218.65/214.46 eprover: CPU time limit exceeded, terminating
% 220.72/216.49 eprover: CPU time limit exceeded, terminating
% 222.72/218.50 eprover: CPU time limit exceeded, terminating
% 224.83/220.52 eprover: CPU time limit exceeded, terminating
% 226.88/222.53 eprover: CPU time limit exceeded, terminating
% 228.86/224.56 eprover: CPU time limit exceeded, terminating
% 230.91/226.57 eprover: CPU time limit exceeded, terminating
% 232.92/228.58 eprover: CPU time limit exceeded, terminating
% 234.96/230.59 eprover: CPU time limit exceeded, terminating
% 237.05/232.60 eprover: CPU time limit exceeded, terminating
% 239.10/234.61 eprover: CPU time limit exceeded, terminating
% 241.12/236.63 eprover: CPU time limit exceeded, terminating
% 243.17/238.64 eprover: CPU time limit exceeded, terminating
% 245.16/240.65 eprover: CPU time limit exceeded, terminating
% 247.22/242.67 eprover: CPU time limit exceeded, terminating
% 249.21/244.68 eprover: CPU time limit exceeded, terminating
% 251.27/246.69 eprover: CPU time limit exceeded, terminating
% 253.35/248.70 eprover: CPU time limit exceeded, terminating
% 255.41/250.72 eprover: CPU time limit exceeded, terminating
% 257.39/252.74 eprover: CPU time limit exceeded, terminating
% 259.44/254.75 eprover: CPU time limit exceeded, terminating
% 261.52/256.76 eprover: CPU time limit exceeded, terminating
% 263.54/258.77 eprover: CPU time limit exceeded, terminating
% 265.60/260.78 eprover: CPU time limit exceeded, terminating
% 267.65/262.81 eprover: CPU time limit exceeded, terminating
% 269.64/264.82 eprover: CPU time limit exceeded, terminating
% 271.71/266.83 eprover: CPU time limit exceeded, terminating
% 273.70/268.84 eprover: CPU time limit exceeded, terminating
% 275.77/270.85 eprover: CPU time limit exceeded, terminating
% 277.83/272.88 eprover: CPU time limit exceeded, terminating
% 279.82/274.89 eprover: CPU time limit exceeded, terminating
% 281.85/276.91 eprover: CPU time limit exceeded, terminating
% 283.90/278.93 eprover: CPU time limit exceeded, terminating
% 285.96/280.95 eprover: CPU time limit exceeded, terminating
% 288.03/282.97 eprover: CPU time limit exceeded, terminating
% 290.02/284.99 eprover: CPU time limit exceeded, terminating
% 292.06/287.00 eprover: CPU time limit exceeded, terminating
% 294.11/289.02 eprover: CPU time limit exceeded, terminating
% 296.18/291.04 eprover: CPU time limit exceeded, terminating
% 298.20/293.06 eprover: CPU time limit exceeded, terminating
% 300.02/294.86 eprover: CPU time limit exceeded, terminating
% 300.02/294.88 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------