%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO101+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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 : Sat Jul 16 04:32:49 EDT 2022
% Result : FiniteTheorem 256.49s 256.10s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : GEO101+1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.11/0.31 % Computer : n012.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.11/0.31 % DateTime : Sat Jun 18 12:11:38 EDT 2022
% 0.11/0.31 % CPUTime :
% 2.10/2.36 eprover: CPU time limit exceeded, terminating
% 4.13/4.38 eprover: CPU time limit exceeded, terminating
% 6.17/6.39 eprover: CPU time limit exceeded, terminating
% 8.19/8.41 eprover: CPU time limit exceeded, terminating
% 10.20/10.42 eprover: CPU time limit exceeded, terminating
% 12.25/12.44 eprover: CPU time limit exceeded, terminating
% 14.23/14.46 eprover: CPU time limit exceeded, terminating
% 16.29/16.47 eprover: CPU time limit exceeded, terminating
% 18.29/18.49 eprover: CPU time limit exceeded, terminating
% 20.30/20.50 eprover: CPU time limit exceeded, terminating
% 22.30/22.51 eprover: CPU time limit exceeded, terminating
% 24.32/24.52 eprover: CPU time limit exceeded, terminating
% 26.34/26.60 eprover: CPU time limit exceeded, terminating
% 28.36/28.61 eprover: CPU time limit exceeded, terminating
% 32.33/30.62 eprover: CPU time limit exceeded, terminating
% 34.33/32.70 eprover: CPU time limit exceeded, terminating
% 36.31/34.71 eprover: CPU time limit exceeded, terminating
% 38.38/36.81 eprover: CPU time limit exceeded, terminating
% 40.39/38.91 eprover: CPU time limit exceeded, terminating
% 42.40/41.00 eprover: CPU time limit exceeded, terminating
% 44.44/43.08 eprover: CPU time limit exceeded, terminating
% 46.39/45.17 eprover: CPU time limit exceeded, terminating
% 48.39/47.25 eprover: CPU time limit exceeded, terminating
% 50.43/49.29 eprover: CPU time limit exceeded, terminating
% 52.45/51.38 eprover: CPU time limit exceeded, terminating
% 54.50/53.46 eprover: CPU time limit exceeded, terminating
% 56.49/55.48 eprover: CPU time limit exceeded, terminating
% 58.49/57.49 eprover: CPU time limit exceeded, terminating
% 60.53/59.50 eprover: CPU time limit exceeded, terminating
% 62.53/61.51 eprover: CPU time limit exceeded, terminating
% 64.60/63.53 eprover: CPU time limit exceeded, terminating
% 66.54/65.54 eprover: CPU time limit exceeded, terminating
% 68.61/67.56 eprover: CPU time limit exceeded, terminating
% 70.63/69.58 eprover: CPU time limit exceeded, terminating
% 72.66/71.59 eprover: CPU time limit exceeded, terminating
% 74.65/73.60 eprover: CPU time limit exceeded, terminating
% 76.67/75.62 eprover: CPU time limit exceeded, terminating
% 78.65/77.63 eprover: CPU time limit exceeded, terminating
% 80.67/79.65 eprover: CPU time limit exceeded, terminating
% 82.72/81.66 eprover: CPU time limit exceeded, terminating
% 84.73/83.67 eprover: CPU time limit exceeded, terminating
% 86.75/85.69 eprover: CPU time limit exceeded, terminating
% 88.74/87.70 eprover: CPU time limit exceeded, terminating
% 90.79/89.71 eprover: CPU time limit exceeded, terminating
% 92.82/91.73 eprover: CPU time limit exceeded, terminating
% 94.79/93.74 eprover: CPU time limit exceeded, terminating
% 96.88/95.76 eprover: CPU time limit exceeded, terminating
% 98.85/97.77 eprover: CPU time limit exceeded, terminating
% 100.89/99.79 eprover: CPU time limit exceeded, terminating
% 102.88/101.80 eprover: CPU time limit exceeded, terminating
% 104.94/103.82 eprover: CPU time limit exceeded, terminating
% 106.94/105.83 eprover: CPU time limit exceeded, terminating
% 108.97/107.85 eprover: CPU time limit exceeded, terminating
% 110.99/109.86 eprover: CPU time limit exceeded, terminating
% 112.98/111.88 eprover: CPU time limit exceeded, terminating
% 115.01/113.89 eprover: CPU time limit exceeded, terminating
% 117.05/115.91 eprover: CPU time limit exceeded, terminating
% 119.03/117.92 eprover: CPU time limit exceeded, terminating
% 121.06/119.94 eprover: CPU time limit exceeded, terminating
% 123.04/121.95 eprover: CPU time limit exceeded, terminating
% 125.08/123.97 eprover: CPU time limit exceeded, terminating
% 127.15/125.98 eprover: CPU time limit exceeded, terminating
% 129.14/128.00 eprover: CPU time limit exceeded, terminating
% 131.13/130.02 eprover: CPU time limit exceeded, terminating
% 133.21/132.03 eprover: CPU time limit exceeded, terminating
% 135.16/134.04 eprover: CPU time limit exceeded, terminating
% 137.20/136.06 eprover: CPU time limit exceeded, terminating
% 139.23/138.07 eprover: CPU time limit exceeded, terminating
% 141.24/140.09 eprover: CPU time limit exceeded, terminating
% 143.27/142.10 eprover: CPU time limit exceeded, terminating
% 145.28/144.12 eprover: CPU time limit exceeded, terminating
% 147.31/146.14 eprover: CPU time limit exceeded, terminating
% 149.35/148.15 eprover: CPU time limit exceeded, terminating
% 151.36/150.17 eprover: CPU time limit exceeded, terminating
% 153.38/152.18 eprover: CPU time limit exceeded, terminating
% 155.34/154.20 eprover: CPU time limit exceeded, terminating
% 157.42/156.21 eprover: CPU time limit exceeded, terminating
% 159.40/158.23 eprover: CPU time limit exceeded, terminating
% 161.41/160.24 eprover: CPU time limit exceeded, terminating
% 163.47/162.25 eprover: CPU time limit exceeded, terminating
% 165.49/164.27 eprover: CPU time limit exceeded, terminating
% 167.49/166.28 eprover: CPU time limit exceeded, terminating
% 169.50/168.30 eprover: CPU time limit exceeded, terminating
% 171.53/170.31 eprover: CPU time limit exceeded, terminating
% 173.57/172.33 eprover: CPU time limit exceeded, terminating
% 175.57/174.34 eprover: CPU time limit exceeded, terminating
% 177.60/176.36 eprover: CPU time limit exceeded, terminating
% 179.62/178.37 eprover: CPU time limit exceeded, terminating
% 181.63/180.39 eprover: CPU time limit exceeded, terminating
% 183.64/182.40 eprover: CPU time limit exceeded, terminating
% 185.68/184.42 eprover: CPU time limit exceeded, terminating
% 187.64/186.43 eprover: CPU time limit exceeded, terminating
% 189.72/188.45 eprover: CPU time limit exceeded, terminating
% 191.75/190.46 eprover: CPU time limit exceeded, terminating
% 193.75/192.48 eprover: CPU time limit exceeded, terminating
% 195.72/194.49 eprover: CPU time limit exceeded, terminating
% 197.76/196.51 eprover: CPU time limit exceeded, terminating
% 199.77/198.52 eprover: CPU time limit exceeded, terminating
% 201.81/200.54 eprover: CPU time limit exceeded, terminating
% 203.83/202.56 eprover: CPU time limit exceeded, terminating
% 205.77/204.57 eprover: CPU time limit exceeded, terminating
% 207.85/206.59 eprover: CPU time limit exceeded, terminating
% 209.88/208.60 eprover: CPU time limit exceeded, terminating
% 211.92/210.62 eprover: CPU time limit exceeded, terminating
% 213.91/212.63 eprover: CPU time limit exceeded, terminating
% 215.89/214.65 eprover: CPU time limit exceeded, terminating
% 217.95/216.66 eprover: CPU time limit exceeded, terminating
% 219.93/218.68 eprover: CPU time limit exceeded, terminating
% 221.97/220.69 eprover: CPU time limit exceeded, terminating
% 223.99/222.70 eprover: CPU time limit exceeded, terminating
% 226.05/224.72 eprover: CPU time limit exceeded, terminating
% 228.02/226.74 eprover: CPU time limit exceeded, terminating
% 230.04/228.75 eprover: CPU time limit exceeded, terminating
% 232.09/230.77 eprover: CPU time limit exceeded, terminating
% 234.08/232.79 eprover: CPU time limit exceeded, terminating
% 236.13/234.80 eprover: CPU time limit exceeded, terminating
% 238.09/236.82 eprover: CPU time limit exceeded, terminating
% 240.15/238.84 eprover: CPU time limit exceeded, terminating
% 242.15/240.85 eprover: CPU time limit exceeded, terminating
% 244.15/242.87 eprover: CPU time limit exceeded, terminating
% 246.20/244.88 eprover: CPU time limit exceeded, terminating
% 248.23/246.90 eprover: CPU time limit exceeded, terminating
% 250.26/248.91 eprover: CPU time limit exceeded, terminating
% 252.26/250.92 eprover: CPU time limit exceeded, terminating
% 254.27/252.94 eprover: CPU time limit exceeded, terminating
% 256.28/254.95 eprover: CPU time limit exceeded, terminating
% 256.49/256.10 Infinox, version 1.0, 2009-07-20.
% 256.49/256.10 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 256.49/256.10 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 256.49/256.10 Reading 'Axioms/GEO004+0.ax' ... ('/export/starexec/sandbox2/benchmark/Axioms/GEO004+0.ax') OK
% 256.49/256.10 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 256.49/256.10 InjNotSurj
% 256.49/256.10 SurjNotInj
% 256.49/256.10 Serial
% 256.49/256.10 +++ RESULT: FinitelyCounterUnsatisfiable
% 256.49/256.10 % SZS status FiniteTheorem
%------------------------------------------------------------------------------