%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM132-1 : TPTP v8.1.0. Bugfixed v2.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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 : Mon Jul 18 10:34:55 EDT 2022 % Result : Timeout 287.08s 284.94s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.14 % Problem : NUM132-1 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.08/0.15 % Command : run_infinox %s % 0.16/0.36 % Computer : n011.cluster.edu % 0.16/0.36 % Model : x86_64 x86_64 % 0.16/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.36 % Memory : 8042.1875MB % 0.16/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.36 % CPULimit : 300 % 0.16/0.36 % WCLimit : 600 % 0.16/0.36 % DateTime : Wed Jul 6 09:10:38 EDT 2022 % 0.16/0.37 % CPUTime : % 2.33/2.51 eprover: CPU time limit exceeded, terminating % 4.34/4.53 eprover: CPU time limit exceeded, terminating % 6.34/6.54 eprover: CPU time limit exceeded, terminating % 8.33/8.55 eprover: CPU time limit exceeded, terminating % 10.37/10.56 eprover: CPU time limit exceeded, terminating % 12.39/12.58 eprover: CPU time limit exceeded, terminating % 14.45/14.59 eprover: CPU time limit exceeded, terminating % 16.45/16.61 eprover: CPU time limit exceeded, terminating % 18.51/18.63 eprover: CPU time limit exceeded, terminating % 20.48/20.66 eprover: CPU time limit exceeded, terminating % 22.45/22.68 eprover: CPU time limit exceeded, terminating % 24.56/24.70 eprover: CPU time limit exceeded, terminating % 26.55/26.72 eprover: CPU time limit exceeded, terminating % 28.59/28.74 eprover: CPU time limit exceeded, terminating % 30.55/30.77 eprover: CPU time limit exceeded, terminating % 32.62/32.79 eprover: CPU time limit exceeded, terminating % 34.65/34.81 eprover: CPU time limit exceeded, terminating % 36.70/36.82 eprover: CPU time limit exceeded, terminating % 38.66/38.84 eprover: CPU time limit exceeded, terminating % 40.68/40.85 eprover: CPU time limit exceeded, terminating % 42.75/42.87 eprover: CPU time limit exceeded, terminating % 44.70/44.90 eprover: CPU time limit exceeded, terminating % 46.76/46.91 eprover: CPU time limit exceeded, terminating % 48.79/48.94 eprover: CPU time limit exceeded, terminating % 50.78/50.95 eprover: CPU time limit exceeded, terminating % 52.81/52.97 eprover: CPU time limit exceeded, terminating % 54.82/54.98 eprover: CPU time limit exceeded, terminating % 56.86/57.00 eprover: CPU time limit exceeded, terminating % 58.90/59.02 eprover: CPU time limit exceeded, terminating % 60.89/61.04 eprover: CPU time limit exceeded, terminating % 62.95/63.06 eprover: CPU time limit exceeded, terminating % 64.91/65.07 eprover: CPU time limit exceeded, terminating % 66.96/67.09 eprover: CPU time limit exceeded, terminating % 68.99/69.11 eprover: CPU time limit exceeded, terminating % 71.02/71.13 eprover: CPU time limit exceeded, terminating % 73.03/73.15 eprover: CPU time limit exceeded, terminating % 75.09/75.18 eprover: CPU time limit exceeded, terminating % 77.08/77.20 eprover: CPU time limit exceeded, terminating % 79.08/79.22 eprover: CPU time limit exceeded, terminating % 81.13/81.24 eprover: CPU time limit exceeded, terminating % 83.14/83.26 eprover: CPU time limit exceeded, terminating % 85.19/85.28 eprover: CPU time limit exceeded, terminating % 87.18/87.29 eprover: CPU time limit exceeded, terminating % 89.17/89.31 eprover: CPU time limit exceeded, terminating % 91.25/91.33 eprover: CPU time limit exceeded, terminating % 93.24/93.35 eprover: CPU time limit exceeded, terminating % 95.30/95.37 eprover: CPU time limit exceeded, terminating % 97.31/97.39 eprover: CPU time limit exceeded, terminating % 99.27/99.41 eprover: CPU time limit exceeded, terminating % 101.30/101.44 eprover: CPU time limit exceeded, terminating % 103.34/103.45 eprover: CPU time limit exceeded, terminating % 105.38/105.47 eprover: CPU time limit exceeded, terminating % 107.33/107.50 eprover: CPU time limit exceeded, terminating % 109.40/109.52 eprover: CPU time limit exceeded, terminating % 111.45/111.53 eprover: CPU time limit exceeded, terminating % 113.46/113.55 eprover: CPU time limit exceeded, terminating % 115.49/115.57 eprover: CPU time limit exceeded, terminating % 117.46/117.60 eprover: CPU time limit exceeded, terminating % 119.51/119.62 eprover: CPU time limit exceeded, terminating % 121.57/121.64 eprover: CPU time limit exceeded, terminating % 123.59/123.66 eprover: CPU time limit exceeded, terminating % 125.58/125.68 eprover: CPU time limit exceeded, terminating % 127.61/127.70 eprover: CPU time limit exceeded, terminating % 129.58/129.72 eprover: CPU time limit exceeded, terminating % 131.59/131.74 eprover: CPU time limit exceeded, terminating % 133.68/133.76 eprover: CPU time limit exceeded, terminating % 135.69/135.77 eprover: CPU time limit exceeded, terminating % 137.72/137.79 eprover: CPU time limit exceeded, terminating % 139.74/139.82 eprover: CPU time limit exceeded, terminating % 141.73/141.84 eprover: CPU time limit exceeded, terminating % 143.71/143.86 eprover: CPU time limit exceeded, terminating % 145.81/145.88 eprover: CPU time limit exceeded, terminating % 147.76/147.89 eprover: CPU time limit exceeded, terminating % 149.84/149.92 eprover: CPU time limit exceeded, terminating % 151.86/151.94 eprover: CPU time limit exceeded, terminating % 153.86/153.96 eprover: CPU time limit exceeded, terminating % 155.88/155.98 eprover: CPU time limit exceeded, terminating % 157.92/157.99 eprover: CPU time limit exceeded, terminating % 159.90/160.00 eprover: CPU time limit exceeded, terminating % 161.97/162.03 eprover: CPU time limit exceeded, terminating % 163.94/164.05 eprover: CPU time limit exceeded, terminating % 166.00/166.07 eprover: CPU time limit exceeded, terminating % 167.98/168.09 eprover: CPU time limit exceeded, terminating % 170.04/170.11 eprover: CPU time limit exceeded, terminating % 172.05/172.13 eprover: CPU time limit exceeded, terminating % 174.05/174.15 eprover: CPU time limit exceeded, terminating % 176.11/176.17 eprover: CPU time limit exceeded, terminating % 178.09/178.19 eprover: CPU time limit exceeded, terminating % 180.16/180.20 eprover: CPU time limit exceeded, terminating % 182.15/182.22 eprover: CPU time limit exceeded, terminating % 184.18/184.24 eprover: CPU time limit exceeded, terminating % 186.17/186.26 eprover: CPU time limit exceeded, terminating % 188.22/188.28 eprover: CPU time limit exceeded, terminating % 190.21/190.30 eprover: CPU time limit exceeded, terminating % 192.21/192.31 eprover: CPU time limit exceeded, terminating % 194.28/194.33 eprover: CPU time limit exceeded, terminating % 196.31/196.34 eprover: CPU time limit exceeded, terminating % 198.33/198.37 eprover: CPU time limit exceeded, terminating % 200.33/200.39 eprover: CPU time limit exceeded, terminating % 202.30/202.41 eprover: CPU time limit exceeded, terminating % 204.35/204.45 eprover: CPU time limit exceeded, terminating % 206.40/206.46 eprover: CPU time limit exceeded, terminating % 208.46/208.48 eprover: CPU time limit exceeded, terminating % 210.42/210.49 eprover: CPU time limit exceeded, terminating % 212.48/212.51 eprover: CPU time limit exceeded, terminating % 216.50/214.52 eprover: CPU time limit exceeded, terminating % 218.47/216.53 eprover: CPU time limit exceeded, terminating % 220.48/218.54 eprover: CPU time limit exceeded, terminating % 222.49/220.55 eprover: CPU time limit exceeded, terminating % 224.52/222.56 eprover: CPU time limit exceeded, terminating % 226.56/224.58 eprover: CPU time limit exceeded, terminating % 228.54/226.59 eprover: CPU time limit exceeded, terminating % 230.62/228.60 eprover: CPU time limit exceeded, terminating % 232.56/230.61 eprover: CPU time limit exceeded, terminating % 234.64/232.62 eprover: CPU time limit exceeded, terminating % 236.65/234.64 eprover: CPU time limit exceeded, terminating % 238.65/236.65 eprover: CPU time limit exceeded, terminating % 240.70/238.66 eprover: CPU time limit exceeded, terminating % 242.65/240.67 eprover: CPU time limit exceeded, terminating % 244.69/242.68 eprover: CPU time limit exceeded, terminating % 246.75/244.70 eprover: CPU time limit exceeded, terminating % 248.74/246.71 eprover: CPU time limit exceeded, terminating % 250.76/248.72 eprover: CPU time limit exceeded, terminating % 252.76/250.73 eprover: CPU time limit exceeded, terminating % 254.82/252.75 eprover: CPU time limit exceeded, terminating % 256.79/254.77 eprover: CPU time limit exceeded, terminating % 258.81/256.78 eprover: CPU time limit exceeded, terminating % 260.86/258.79 eprover: CPU time limit exceeded, terminating % 262.89/260.80 eprover: CPU time limit exceeded, terminating % 264.91/262.81 eprover: CPU time limit exceeded, terminating % 266.92/264.82 eprover: CPU time limit exceeded, terminating % 268.93/266.83 eprover: CPU time limit exceeded, terminating % 270.93/268.84 eprover: CPU time limit exceeded, terminating % 272.97/270.85 eprover: CPU time limit exceeded, terminating % 274.98/272.87 eprover: CPU time limit exceeded, terminating % 276.98/274.88 eprover: CPU time limit exceeded, terminating % 279.03/276.89 eprover: CPU time limit exceeded, terminating % 281.07/278.90 eprover: CPU time limit exceeded, terminating % 283.04/280.91 eprover: CPU time limit exceeded, terminating % 285.08/282.93 eprover: CPU time limit exceeded, terminating % 287.08/284.94 eprover: CPU time limit exceeded, terminating % 289.13/286.95 eprover: CPU time limit exceeded, terminating % 291.10/288.96 eprover: CPU time limit exceeded, terminating % 293.14/290.98 eprover: CPU time limit exceeded, terminating % 295.13/292.99 eprover: CPU time limit exceeded, terminating % 297.22/295.00 eprover: CPU time limit exceeded, terminating % 299.21/297.02 eprover: CPU time limit exceeded, terminating % 300.02/297.80 eprover: CPU time limit exceeded, terminating % 300.02/297.82 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------