%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM696+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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:39:44 EDT 2022 % Result : Timeout 287.23s 280.59s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.11 % Problem : NUM696+4 : TPTP v8.1.0. Released v7.3.0. % 0.10/0.11 % Command : run_infinox %s % 0.10/0.32 % Computer : n025.cluster.edu % 0.10/0.32 % Model : x86_64 x86_64 % 0.10/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.32 % Memory : 8042.1875MB % 0.10/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.32 % CPULimit : 300 % 0.10/0.32 % WCLimit : 600 % 0.10/0.32 % DateTime : Thu Jul 7 12:59:14 EDT 2022 % 0.10/0.32 % CPUTime : % 2.96/3.19 eprover: CPU time limit exceeded, terminating % 5.08/5.20 eprover: CPU time limit exceeded, terminating % 7.13/7.21 eprover: CPU time limit exceeded, terminating % 9.15/9.22 eprover: CPU time limit exceeded, terminating % 11.17/11.23 eprover: CPU time limit exceeded, terminating % 13.23/13.24 eprover: CPU time limit exceeded, terminating % 15.28/15.25 eprover: CPU time limit exceeded, terminating % 17.28/17.26 eprover: CPU time limit exceeded, terminating % 19.35/19.27 eprover: CPU time limit exceeded, terminating % 21.37/21.28 eprover: CPU time limit exceeded, terminating % 23.49/23.29 eprover: CPU time limit exceeded, terminating % 25.44/25.30 eprover: CPU time limit exceeded, terminating % 29.45/27.31 eprover: CPU time limit exceeded, terminating % 31.50/29.32 eprover: CPU time limit exceeded, terminating % 33.55/31.33 eprover: CPU time limit exceeded, terminating % 35.58/33.34 eprover: CPU time limit exceeded, terminating % 37.60/35.35 eprover: CPU time limit exceeded, terminating % 39.63/37.36 eprover: CPU time limit exceeded, terminating % 41.70/39.37 eprover: CPU time limit exceeded, terminating % 43.74/41.38 eprover: CPU time limit exceeded, terminating % 45.76/43.39 eprover: CPU time limit exceeded, terminating % 47.82/45.40 eprover: CPU time limit exceeded, terminating % 49.93/47.41 eprover: CPU time limit exceeded, terminating % 51.98/49.42 eprover: CPU time limit exceeded, terminating % 54.02/51.43 eprover: CPU time limit exceeded, terminating % 56.03/53.44 eprover: CPU time limit exceeded, terminating % 58.04/55.45 eprover: CPU time limit exceeded, terminating % 60.11/57.46 eprover: CPU time limit exceeded, terminating % 62.17/59.47 eprover: CPU time limit exceeded, terminating % 64.18/61.48 eprover: CPU time limit exceeded, terminating % 66.25/63.49 eprover: CPU time limit exceeded, terminating % 68.26/65.50 eprover: CPU time limit exceeded, terminating % 70.39/67.51 eprover: CPU time limit exceeded, terminating % 72.42/69.52 eprover: CPU time limit exceeded, terminating % 74.44/71.53 eprover: CPU time limit exceeded, terminating % 76.48/73.54 eprover: CPU time limit exceeded, terminating % 78.54/75.55 eprover: CPU time limit exceeded, terminating % 80.58/77.56 eprover: CPU time limit exceeded, terminating % 82.63/79.57 eprover: CPU time limit exceeded, terminating % 84.72/81.58 eprover: CPU time limit exceeded, terminating % 86.66/83.59 eprover: CPU time limit exceeded, terminating % 88.80/85.60 eprover: CPU time limit exceeded, terminating % 90.84/87.61 eprover: CPU time limit exceeded, terminating % 92.88/89.62 eprover: CPU time limit exceeded, terminating % 94.90/91.63 eprover: CPU time limit exceeded, terminating % 96.95/93.64 eprover: CPU time limit exceeded, terminating % 99.01/95.65 eprover: CPU time limit exceeded, terminating % 101.01/97.66 eprover: CPU time limit exceeded, terminating % 103.13/99.67 eprover: CPU time limit exceeded, terminating % 105.13/101.68 eprover: CPU time limit exceeded, terminating % 107.22/103.69 eprover: CPU time limit exceeded, terminating % 109.26/105.70 eprover: CPU time limit exceeded, terminating % 111.30/107.71 eprover: CPU time limit exceeded, terminating % 113.34/109.72 eprover: CPU time limit exceeded, terminating % 115.39/111.73 eprover: CPU time limit exceeded, terminating % 117.42/113.74 eprover: CPU time limit exceeded, terminating % 119.46/115.75 eprover: CPU time limit exceeded, terminating % 121.53/117.76 eprover: CPU time limit exceeded, terminating % 123.53/119.77 eprover: CPU time limit exceeded, terminating % 125.62/121.78 eprover: CPU time limit exceeded, terminating % 127.61/123.78 eprover: CPU time limit exceeded, terminating % 129.66/125.79 eprover: CPU time limit exceeded, terminating % 131.68/127.80 eprover: CPU time limit exceeded, terminating % 133.81/129.81 eprover: CPU time limit exceeded, terminating % 135.82/131.82 eprover: CPU time limit exceeded, terminating % 137.87/133.83 eprover: CPU time limit exceeded, terminating % 139.94/135.84 eprover: CPU time limit exceeded, terminating % 141.95/137.85 eprover: CPU time limit exceeded, terminating % 144.01/139.86 eprover: CPU time limit exceeded, terminating % 146.03/141.87 eprover: CPU time limit exceeded, terminating % 148.13/143.88 eprover: CPU time limit exceeded, terminating % 150.19/145.90 eprover: CPU time limit exceeded, terminating % 152.21/147.91 eprover: CPU time limit exceeded, terminating % 154.25/149.91 eprover: CPU time limit exceeded, terminating % 156.30/151.92 eprover: CPU time limit exceeded, terminating % 158.35/153.93 eprover: CPU time limit exceeded, terminating % 160.40/155.94 eprover: CPU time limit exceeded, terminating % 162.43/157.95 eprover: CPU time limit exceeded, terminating % 164.44/159.97 eprover: CPU time limit exceeded, terminating % 166.50/161.98 eprover: CPU time limit exceeded, terminating % 168.51/163.98 eprover: CPU time limit exceeded, terminating % 170.64/165.99 eprover: CPU time limit exceeded, terminating % 172.59/168.01 eprover: CPU time limit exceeded, terminating % 174.74/170.02 eprover: CPU time limit exceeded, terminating % 176.75/172.03 eprover: CPU time limit exceeded, terminating % 178.79/174.04 eprover: CPU time limit exceeded, terminating % 180.86/176.05 eprover: CPU time limit exceeded, terminating % 182.85/178.06 eprover: CPU time limit exceeded, terminating % 184.88/180.07 eprover: CPU time limit exceeded, terminating % 186.93/182.08 eprover: CPU time limit exceeded, terminating % 189.00/184.09 eprover: CPU time limit exceeded, terminating % 191.02/186.11 eprover: CPU time limit exceeded, terminating % 193.13/188.12 eprover: CPU time limit exceeded, terminating % 195.19/190.13 eprover: CPU time limit exceeded, terminating % 197.23/192.14 eprover: CPU time limit exceeded, terminating % 199.25/194.15 eprover: CPU time limit exceeded, terminating % 201.29/196.16 eprover: CPU time limit exceeded, terminating % 203.33/198.17 eprover: CPU time limit exceeded, terminating % 205.38/200.18 eprover: CPU time limit exceeded, terminating % 207.42/202.19 eprover: CPU time limit exceeded, terminating % 209.54/204.20 eprover: CPU time limit exceeded, terminating % 211.56/206.21 eprover: CPU time limit exceeded, terminating % 213.62/208.22 eprover: CPU time limit exceeded, terminating % 215.63/210.23 eprover: CPU time limit exceeded, terminating % 217.66/212.24 eprover: CPU time limit exceeded, terminating % 219.72/214.25 eprover: CPU time limit exceeded, terminating % 221.77/216.26 eprover: CPU time limit exceeded, terminating % 223.80/218.27 eprover: CPU time limit exceeded, terminating % 225.85/220.28 eprover: CPU time limit exceeded, terminating % 227.87/222.29 eprover: CPU time limit exceeded, terminating % 229.98/224.30 eprover: CPU time limit exceeded, terminating % 232.03/226.31 eprover: CPU time limit exceeded, terminating % 234.09/228.32 eprover: CPU time limit exceeded, terminating % 236.12/230.33 eprover: CPU time limit exceeded, terminating % 238.17/232.34 eprover: CPU time limit exceeded, terminating % 240.20/234.35 eprover: CPU time limit exceeded, terminating % 242.24/236.36 eprover: CPU time limit exceeded, terminating % 244.29/238.37 eprover: CPU time limit exceeded, terminating % 246.32/240.37 eprover: CPU time limit exceeded, terminating % 248.34/242.39 eprover: CPU time limit exceeded, terminating % 250.44/244.39 eprover: CPU time limit exceeded, terminating % 252.41/246.41 eprover: CPU time limit exceeded, terminating % 254.55/248.42 eprover: CPU time limit exceeded, terminating % 256.59/250.43 eprover: CPU time limit exceeded, terminating % 258.65/252.44 eprover: CPU time limit exceeded, terminating % 260.67/254.45 eprover: CPU time limit exceeded, terminating % 262.70/256.46 eprover: CPU time limit exceeded, terminating % 264.76/258.47 eprover: CPU time limit exceeded, terminating % 266.77/260.48 eprover: CPU time limit exceeded, terminating % 268.88/262.49 eprover: CPU time limit exceeded, terminating % 270.93/264.50 eprover: CPU time limit exceeded, terminating % 272.95/266.52 eprover: CPU time limit exceeded, terminating % 275.00/268.53 eprover: CPU time limit exceeded, terminating % 277.02/270.54 eprover: CPU time limit exceeded, terminating % 279.10/272.55 eprover: CPU time limit exceeded, terminating % 281.12/274.56 eprover: CPU time limit exceeded, terminating % 283.17/276.57 eprover: CPU time limit exceeded, terminating % 285.26/278.58 eprover: CPU time limit exceeded, terminating % 287.23/280.59 eprover: CPU time limit exceeded, terminating % 289.35/282.60 eprover: CPU time limit exceeded, terminating % 291.40/284.61 eprover: CPU time limit exceeded, terminating % 293.43/286.61 eprover: CPU time limit exceeded, terminating % 295.47/288.63 eprover: CPU time limit exceeded, terminating % 297.52/290.64 eprover: CPU time limit exceeded, terminating % 299.55/292.65 eprover: CPU time limit exceeded, terminating % 300.05/293.08 eprover: CPU time limit exceeded, terminating % 300.05/293.10 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------