TSTP Solution File: ALG401-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG401-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:09 EDT 2022
% Result : Timeout 285.86s 278.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : ALG401-1 : TPTP v8.1.0. Released v4.1.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n021.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Wed Jun 8 15:34:52 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.08/3.20 eprover: CPU time limit exceeded, terminating
% 5.07/5.21 eprover: CPU time limit exceeded, terminating
% 7.20/7.22 eprover: CPU time limit exceeded, terminating
% 9.23/9.23 eprover: CPU time limit exceeded, terminating
% 11.26/11.24 eprover: CPU time limit exceeded, terminating
% 13.36/13.24 eprover: CPU time limit exceeded, terminating
% 15.40/15.25 eprover: CPU time limit exceeded, terminating
% 17.44/17.26 eprover: CPU time limit exceeded, terminating
% 19.50/19.27 eprover: CPU time limit exceeded, terminating
% 21.54/21.28 eprover: CPU time limit exceeded, terminating
% 23.69/23.29 eprover: CPU time limit exceeded, terminating
% 25.73/25.30 eprover: CPU time limit exceeded, terminating
% 27.80/27.31 eprover: CPU time limit exceeded, terminating
% 29.86/29.32 eprover: CPU time limit exceeded, terminating
% 31.91/31.33 eprover: CPU time limit exceeded, terminating
% 33.93/33.34 eprover: CPU time limit exceeded, terminating
% 36.01/35.35 eprover: CPU time limit exceeded, terminating
% 38.04/37.36 eprover: CPU time limit exceeded, terminating
% 40.10/39.37 eprover: CPU time limit exceeded, terminating
% 42.24/41.38 eprover: CPU time limit exceeded, terminating
% 44.30/43.39 eprover: CPU time limit exceeded, terminating
% 46.27/45.40 eprover: CPU time limit exceeded, terminating
% 48.40/47.41 eprover: CPU time limit exceeded, terminating
% 50.49/49.42 eprover: CPU time limit exceeded, terminating
% 52.54/51.43 eprover: CPU time limit exceeded, terminating
% 54.57/53.44 eprover: CPU time limit exceeded, terminating
% 56.62/55.45 eprover: CPU time limit exceeded, terminating
% 58.69/57.46 eprover: CPU time limit exceeded, terminating
% 60.71/59.47 eprover: CPU time limit exceeded, terminating
% 62.86/61.48 eprover: CPU time limit exceeded, terminating
% 64.92/63.49 eprover: CPU time limit exceeded, terminating
% 66.95/65.50 eprover: CPU time limit exceeded, terminating
% 69.05/67.51 eprover: CPU time limit exceeded, terminating
% 71.02/69.59 eprover: CPU time limit exceeded, terminating
% 73.10/71.60 eprover: CPU time limit exceeded, terminating
% 75.22/73.61 eprover: CPU time limit exceeded, terminating
% 77.28/75.62 eprover: CPU time limit exceeded, terminating
% 79.33/77.63 eprover: CPU time limit exceeded, terminating
% 81.37/79.64 eprover: CPU time limit exceeded, terminating
% 83.44/81.65 eprover: CPU time limit exceeded, terminating
% 85.47/83.66 eprover: CPU time limit exceeded, terminating
% 87.54/85.67 eprover: CPU time limit exceeded, terminating
% 89.60/87.68 eprover: CPU time limit exceeded, terminating
% 91.68/89.69 eprover: CPU time limit exceeded, terminating
% 93.73/91.70 eprover: CPU time limit exceeded, terminating
% 95.86/93.71 eprover: CPU time limit exceeded, terminating
% 97.90/95.72 eprover: CPU time limit exceeded, terminating
% 99.98/97.73 eprover: CPU time limit exceeded, terminating
% 102.04/99.74 eprover: CPU time limit exceeded, terminating
% 104.06/101.75 eprover: CPU time limit exceeded, terminating
% 106.14/103.76 eprover: CPU time limit exceeded, terminating
% 108.21/105.77 eprover: CPU time limit exceeded, terminating
% 110.22/107.78 eprover: CPU time limit exceeded, terminating
% 112.31/109.79 eprover: CPU time limit exceeded, terminating
% 114.44/111.80 eprover: CPU time limit exceeded, terminating
% 116.47/113.81 eprover: CPU time limit exceeded, terminating
% 118.56/115.82 eprover: CPU time limit exceeded, terminating
% 120.62/117.83 eprover: CPU time limit exceeded, terminating
% 122.67/119.84 eprover: CPU time limit exceeded, terminating
% 124.70/121.85 eprover: CPU time limit exceeded, terminating
% 126.73/123.86 eprover: CPU time limit exceeded, terminating
% 128.82/125.87 eprover: CPU time limit exceeded, terminating
% 130.93/127.88 eprover: CPU time limit exceeded, terminating
% 132.92/129.89 eprover: CPU time limit exceeded, terminating
% 134.99/131.90 eprover: CPU time limit exceeded, terminating
% 137.03/133.91 eprover: CPU time limit exceeded, terminating
% 139.16/135.92 eprover: CPU time limit exceeded, terminating
% 141.23/137.93 eprover: CPU time limit exceeded, terminating
% 143.33/139.94 eprover: CPU time limit exceeded, terminating
% 145.33/141.95 eprover: CPU time limit exceeded, terminating
% 147.41/143.96 eprover: CPU time limit exceeded, terminating
% 149.49/145.97 eprover: CPU time limit exceeded, terminating
% 151.52/147.98 eprover: CPU time limit exceeded, terminating
% 153.64/149.99 eprover: CPU time limit exceeded, terminating
% 155.64/152.00 eprover: CPU time limit exceeded, terminating
% 157.77/154.01 eprover: CPU time limit exceeded, terminating
% 159.82/156.02 eprover: CPU time limit exceeded, terminating
% 161.90/158.03 eprover: CPU time limit exceeded, terminating
% 163.97/160.04 eprover: CPU time limit exceeded, terminating
% 166.02/162.05 eprover: CPU time limit exceeded, terminating
% 168.05/164.06 eprover: CPU time limit exceeded, terminating
% 170.11/166.07 eprover: CPU time limit exceeded, terminating
% 172.19/168.08 eprover: CPU time limit exceeded, terminating
% 174.32/170.09 eprover: CPU time limit exceeded, terminating
% 176.39/172.10 eprover: CPU time limit exceeded, terminating
% 178.45/174.11 eprover: CPU time limit exceeded, terminating
% 180.52/176.12 eprover: CPU time limit exceeded, terminating
% 182.56/178.13 eprover: CPU time limit exceeded, terminating
% 184.62/180.14 eprover: CPU time limit exceeded, terminating
% 186.68/182.15 eprover: CPU time limit exceeded, terminating
% 188.73/184.16 eprover: CPU time limit exceeded, terminating
% 190.81/186.17 eprover: CPU time limit exceeded, terminating
% 192.84/188.18 eprover: CPU time limit exceeded, terminating
% 194.98/190.19 eprover: CPU time limit exceeded, terminating
% 197.04/192.20 eprover: CPU time limit exceeded, terminating
% 199.09/194.21 eprover: CPU time limit exceeded, terminating
% 201.17/196.22 eprover: CPU time limit exceeded, terminating
% 203.20/198.24 eprover: CPU time limit exceeded, terminating
% 205.27/200.25 eprover: CPU time limit exceeded, terminating
% 207.33/202.26 eprover: CPU time limit exceeded, terminating
% 209.39/204.27 eprover: CPU time limit exceeded, terminating
% 211.45/206.28 eprover: CPU time limit exceeded, terminating
% 213.51/208.29 eprover: CPU time limit exceeded, terminating
% 215.64/210.30 eprover: CPU time limit exceeded, terminating
% 217.69/212.31 eprover: CPU time limit exceeded, terminating
% 219.74/214.32 eprover: CPU time limit exceeded, terminating
% 221.80/216.33 eprover: CPU time limit exceeded, terminating
% 223.85/218.34 eprover: CPU time limit exceeded, terminating
% 225.90/220.35 eprover: CPU time limit exceeded, terminating
% 227.99/222.36 eprover: CPU time limit exceeded, terminating
% 230.05/224.37 eprover: CPU time limit exceeded, terminating
% 232.10/226.38 eprover: CPU time limit exceeded, terminating
% 234.17/228.39 eprover: CPU time limit exceeded, terminating
% 236.27/230.40 eprover: CPU time limit exceeded, terminating
% 238.37/232.41 eprover: CPU time limit exceeded, terminating
% 240.41/234.42 eprover: CPU time limit exceeded, terminating
% 242.45/236.43 eprover: CPU time limit exceeded, terminating
% 244.53/238.44 eprover: CPU time limit exceeded, terminating
% 246.59/240.45 eprover: CPU time limit exceeded, terminating
% 248.63/242.46 eprover: CPU time limit exceeded, terminating
% 250.69/244.47 eprover: CPU time limit exceeded, terminating
% 252.75/246.48 eprover: CPU time limit exceeded, terminating
% 254.82/248.49 eprover: CPU time limit exceeded, terminating
% 256.96/250.50 eprover: CPU time limit exceeded, terminating
% 259.02/252.51 eprover: CPU time limit exceeded, terminating
% 261.10/254.53 eprover: CPU time limit exceeded, terminating
% 263.13/256.54 eprover: CPU time limit exceeded, terminating
% 265.20/258.55 eprover: CPU time limit exceeded, terminating
% 267.24/260.56 eprover: CPU time limit exceeded, terminating
% 269.32/262.57 eprover: CPU time limit exceeded, terminating
% 271.35/264.58 eprover: CPU time limit exceeded, terminating
% 273.49/266.59 eprover: CPU time limit exceeded, terminating
% 275.57/268.60 eprover: CPU time limit exceeded, terminating
% 277.54/270.61 eprover: CPU time limit exceeded, terminating
% 279.69/272.62 eprover: CPU time limit exceeded, terminating
% 281.76/274.63 eprover: CPU time limit exceeded, terminating
% 283.81/276.64 eprover: CPU time limit exceeded, terminating
% 285.86/278.65 eprover: CPU time limit exceeded, terminating
% 287.92/280.66 eprover: CPU time limit exceeded, terminating
% 289.95/282.68 eprover: CPU time limit exceeded, terminating
% 292.02/284.69 eprover: CPU time limit exceeded, terminating
% 294.16/286.70 eprover: CPU time limit exceeded, terminating
% 296.13/288.71 eprover: CPU time limit exceeded, terminating
% 298.28/290.72 eprover: CPU time limit exceeded, terminating
% 300.06/292.43 eprover: CPU time limit exceeded, terminating
% 300.06/292.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------