TSTP Solution File: LAT374+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT374+1 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:15:17 EDT 2022
% Result : Timeout 287.36s 286.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : LAT374+1 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.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 05:05:45 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.35/2.57 eprover: CPU time limit exceeded, terminating
% 4.36/4.58 eprover: CPU time limit exceeded, terminating
% 6.40/6.60 eprover: CPU time limit exceeded, terminating
% 8.42/8.61 eprover: CPU time limit exceeded, terminating
% 10.41/10.62 eprover: CPU time limit exceeded, terminating
% 12.46/12.64 eprover: CPU time limit exceeded, terminating
% 14.51/14.65 eprover: CPU time limit exceeded, terminating
% 16.53/16.66 eprover: CPU time limit exceeded, terminating
% 18.53/18.68 eprover: CPU time limit exceeded, terminating
% 20.56/20.69 eprover: CPU time limit exceeded, terminating
% 22.59/22.71 eprover: CPU time limit exceeded, terminating
% 24.57/24.72 eprover: CPU time limit exceeded, terminating
% 26.64/26.74 eprover: CPU time limit exceeded, terminating
% 28.63/28.75 eprover: CPU time limit exceeded, terminating
% 30.65/30.76 eprover: CPU time limit exceeded, terminating
% 32.69/32.78 eprover: CPU time limit exceeded, terminating
% 34.73/34.79 eprover: CPU time limit exceeded, terminating
% 36.74/36.81 eprover: CPU time limit exceeded, terminating
% 38.74/38.83 eprover: CPU time limit exceeded, terminating
% 40.78/40.84 eprover: CPU time limit exceeded, terminating
% 42.82/42.86 eprover: CPU time limit exceeded, terminating
% 44.82/44.87 eprover: CPU time limit exceeded, terminating
% 46.83/46.89 eprover: CPU time limit exceeded, terminating
% 48.88/48.91 eprover: CPU time limit exceeded, terminating
% 50.86/50.93 eprover: CPU time limit exceeded, terminating
% 52.90/52.94 eprover: CPU time limit exceeded, terminating
% 54.95/54.96 eprover: CPU time limit exceeded, terminating
% 56.97/56.97 eprover: CPU time limit exceeded, terminating
% 58.99/59.00 eprover: CPU time limit exceeded, terminating
% 61.01/61.01 eprover: CPU time limit exceeded, terminating
% 62.97/63.02 eprover: CPU time limit exceeded, terminating
% 65.02/65.03 eprover: CPU time limit exceeded, terminating
% 67.08/67.05 eprover: CPU time limit exceeded, terminating
% 69.09/69.07 eprover: CPU time limit exceeded, terminating
% 71.10/71.08 eprover: CPU time limit exceeded, terminating
% 73.13/73.09 eprover: CPU time limit exceeded, terminating
% 75.12/75.11 eprover: CPU time limit exceeded, terminating
% 77.17/77.12 eprover: CPU time limit exceeded, terminating
% 79.21/79.14 eprover: CPU time limit exceeded, terminating
% 81.23/81.16 eprover: CPU time limit exceeded, terminating
% 83.24/83.17 eprover: CPU time limit exceeded, terminating
% 85.27/85.19 eprover: CPU time limit exceeded, terminating
% 87.30/87.20 eprover: CPU time limit exceeded, terminating
% 89.25/89.23 eprover: CPU time limit exceeded, terminating
% 91.33/91.24 eprover: CPU time limit exceeded, terminating
% 93.30/93.25 eprover: CPU time limit exceeded, terminating
% 95.39/95.27 eprover: CPU time limit exceeded, terminating
% 97.40/97.28 eprover: CPU time limit exceeded, terminating
% 99.40/99.31 eprover: CPU time limit exceeded, terminating
% 101.44/101.33 eprover: CPU time limit exceeded, terminating
% 103.42/103.34 eprover: CPU time limit exceeded, terminating
% 105.47/105.36 eprover: CPU time limit exceeded, terminating
% 107.47/107.38 eprover: CPU time limit exceeded, terminating
% 109.53/109.41 eprover: CPU time limit exceeded, terminating
% 111.46/111.42 eprover: CPU time limit exceeded, terminating
% 113.51/113.43 eprover: CPU time limit exceeded, terminating
% 115.56/115.45 eprover: CPU time limit exceeded, terminating
% 117.58/117.47 eprover: CPU time limit exceeded, terminating
% 119.64/119.49 eprover: CPU time limit exceeded, terminating
% 121.61/121.50 eprover: CPU time limit exceeded, terminating
% 123.67/123.52 eprover: CPU time limit exceeded, terminating
% 125.70/125.53 eprover: CPU time limit exceeded, terminating
% 127.72/127.54 eprover: CPU time limit exceeded, terminating
% 129.70/129.56 eprover: CPU time limit exceeded, terminating
% 131.76/131.58 eprover: CPU time limit exceeded, terminating
% 133.78/133.59 eprover: CPU time limit exceeded, terminating
% 135.80/135.60 eprover: CPU time limit exceeded, terminating
% 137.84/137.62 eprover: CPU time limit exceeded, terminating
% 139.79/139.65 eprover: CPU time limit exceeded, terminating
% 141.79/141.66 eprover: CPU time limit exceeded, terminating
% 143.83/143.68 eprover: CPU time limit exceeded, terminating
% 145.87/145.70 eprover: CPU time limit exceeded, terminating
% 147.91/147.71 eprover: CPU time limit exceeded, terminating
% 149.92/149.74 eprover: CPU time limit exceeded, terminating
% 151.93/151.75 eprover: CPU time limit exceeded, terminating
% 153.94/153.76 eprover: CPU time limit exceeded, terminating
% 156.00/155.78 eprover: CPU time limit exceeded, terminating
% 158.00/157.79 eprover: CPU time limit exceeded, terminating
% 159.98/159.82 eprover: CPU time limit exceeded, terminating
% 162.05/161.83 eprover: CPU time limit exceeded, terminating
% 164.03/163.85 eprover: CPU time limit exceeded, terminating
% 166.12/165.86 eprover: CPU time limit exceeded, terminating
% 168.13/167.88 eprover: CPU time limit exceeded, terminating
% 170.18/169.90 eprover: CPU time limit exceeded, terminating
% 172.16/171.91 eprover: CPU time limit exceeded, terminating
% 174.19/173.93 eprover: CPU time limit exceeded, terminating
% 176.18/175.94 eprover: CPU time limit exceeded, terminating
% 178.21/177.96 eprover: CPU time limit exceeded, terminating
% 180.24/179.97 eprover: CPU time limit exceeded, terminating
% 182.28/181.98 eprover: CPU time limit exceeded, terminating
% 184.25/184.00 eprover: CPU time limit exceeded, terminating
% 186.29/186.01 eprover: CPU time limit exceeded, terminating
% 188.37/188.03 eprover: CPU time limit exceeded, terminating
% 190.37/190.04 eprover: CPU time limit exceeded, terminating
% 192.40/192.06 eprover: CPU time limit exceeded, terminating
% 194.37/194.07 eprover: CPU time limit exceeded, terminating
% 196.40/196.09 eprover: CPU time limit exceeded, terminating
% 198.45/198.10 eprover: CPU time limit exceeded, terminating
% 200.45/200.11 eprover: CPU time limit exceeded, terminating
% 202.40/202.13 eprover: CPU time limit exceeded, terminating
% 204.49/204.14 eprover: CPU time limit exceeded, terminating
% 206.46/206.16 eprover: CPU time limit exceeded, terminating
% 208.51/208.17 eprover: CPU time limit exceeded, terminating
% 210.59/210.18 eprover: CPU time limit exceeded, terminating
% 212.57/212.20 eprover: CPU time limit exceeded, terminating
% 214.53/214.23 eprover: CPU time limit exceeded, terminating
% 216.56/216.25 eprover: CPU time limit exceeded, terminating
% 218.65/218.26 eprover: CPU time limit exceeded, terminating
% 220.67/220.28 eprover: CPU time limit exceeded, terminating
% 222.66/222.29 eprover: CPU time limit exceeded, terminating
% 224.73/224.31 eprover: CPU time limit exceeded, terminating
% 226.70/226.33 eprover: CPU time limit exceeded, terminating
% 228.73/228.34 eprover: CPU time limit exceeded, terminating
% 230.77/230.36 eprover: CPU time limit exceeded, terminating
% 232.76/232.38 eprover: CPU time limit exceeded, terminating
% 234.82/234.39 eprover: CPU time limit exceeded, terminating
% 236.82/236.41 eprover: CPU time limit exceeded, terminating
% 238.86/238.42 eprover: CPU time limit exceeded, terminating
% 240.84/240.44 eprover: CPU time limit exceeded, terminating
% 242.89/242.46 eprover: CPU time limit exceeded, terminating
% 244.88/244.47 eprover: CPU time limit exceeded, terminating
% 246.90/246.49 eprover: CPU time limit exceeded, terminating
% 248.98/248.50 eprover: CPU time limit exceeded, terminating
% 250.93/250.52 eprover: CPU time limit exceeded, terminating
% 253.01/252.53 eprover: CPU time limit exceeded, terminating
% 254.95/254.55 eprover: CPU time limit exceeded, terminating
% 257.03/256.56 eprover: CPU time limit exceeded, terminating
% 259.03/258.59 eprover: CPU time limit exceeded, terminating
% 261.09/260.60 eprover: CPU time limit exceeded, terminating
% 263.05/262.63 eprover: CPU time limit exceeded, terminating
% 265.15/264.65 eprover: CPU time limit exceeded, terminating
% 267.14/266.66 eprover: CPU time limit exceeded, terminating
% 269.14/268.68 eprover: CPU time limit exceeded, terminating
% 271.20/270.70 eprover: CPU time limit exceeded, terminating
% 273.16/272.72 eprover: CPU time limit exceeded, terminating
% 275.21/274.73 eprover: CPU time limit exceeded, terminating
% 277.27/276.77 eprover: CPU time limit exceeded, terminating
% 279.25/278.80 eprover: CPU time limit exceeded, terminating
% 281.31/280.81 eprover: CPU time limit exceeded, terminating
% 283.27/282.83 eprover: CPU time limit exceeded, terminating
% 285.32/284.85 eprover: CPU time limit exceeded, terminating
% 287.36/286.87 eprover: CPU time limit exceeded, terminating
% 289.37/288.91 eprover: CPU time limit exceeded, terminating
% 291.38/290.92 eprover: CPU time limit exceeded, terminating
% 293.46/292.93 eprover: CPU time limit exceeded, terminating
% 293.87/294.32 Infinox, version 1.0, 2009-07-20.
% 293.87/294.32 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 293.87/294.32 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 293.87/294.32 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 293.87/294.32 InjNotSurj
% 293.87/294.32 SurjNotInj
% 293.87/294.32 +++ RESULT: FinitelyCounterUnsatisfiable
% 293.87/294.32 % SZS status FiniteTheorem
%------------------------------------------------------------------------------