%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM698+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n003.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:46 EDT 2022 % Result : Timeout 287.47s 282.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : NUM698+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n003.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 : Tue Jul 5 20:46:26 EDT 2022 % 0.13/0.33 % CPUTime : % 3.14/3.29 eprover: CPU time limit exceeded, terminating % 5.22/5.30 eprover: CPU time limit exceeded, terminating % 7.23/7.31 eprover: CPU time limit exceeded, terminating % 9.27/9.32 eprover: CPU time limit exceeded, terminating % 11.31/11.33 eprover: CPU time limit exceeded, terminating % 13.37/13.34 eprover: CPU time limit exceeded, terminating % 15.41/15.35 eprover: CPU time limit exceeded, terminating % 17.43/17.36 eprover: CPU time limit exceeded, terminating % 19.47/19.37 eprover: CPU time limit exceeded, terminating % 21.56/21.38 eprover: CPU time limit exceeded, terminating % 23.61/23.39 eprover: CPU time limit exceeded, terminating % 25.63/25.40 eprover: CPU time limit exceeded, terminating % 27.70/27.41 eprover: CPU time limit exceeded, terminating % 29.70/29.42 eprover: CPU time limit exceeded, terminating % 31.77/31.42 eprover: CPU time limit exceeded, terminating % 33.85/33.43 eprover: CPU time limit exceeded, terminating % 35.85/35.44 eprover: CPU time limit exceeded, terminating % 37.90/37.45 eprover: CPU time limit exceeded, terminating % 39.99/39.46 eprover: CPU time limit exceeded, terminating % 41.97/41.47 eprover: CPU time limit exceeded, terminating % 44.07/43.48 eprover: CPU time limit exceeded, terminating % 46.07/45.49 eprover: CPU time limit exceeded, terminating % 48.16/47.50 eprover: CPU time limit exceeded, terminating % 50.14/49.51 eprover: CPU time limit exceeded, terminating % 52.24/51.52 eprover: CPU time limit exceeded, terminating % 54.25/53.53 eprover: CPU time limit exceeded, terminating % 56.33/55.54 eprover: CPU time limit exceeded, terminating % 58.38/57.55 eprover: CPU time limit exceeded, terminating % 60.43/59.56 eprover: CPU time limit exceeded, terminating % 62.41/61.57 eprover: CPU time limit exceeded, terminating % 64.49/63.59 eprover: CPU time limit exceeded, terminating % 66.54/65.60 eprover: CPU time limit exceeded, terminating % 68.58/67.61 eprover: CPU time limit exceeded, terminating % 70.60/69.62 eprover: CPU time limit exceeded, terminating % 72.71/71.63 eprover: CPU time limit exceeded, terminating % 74.69/73.64 eprover: CPU time limit exceeded, terminating % 76.79/75.65 eprover: CPU time limit exceeded, terminating % 78.80/77.66 eprover: CPU time limit exceeded, terminating % 80.88/79.67 eprover: CPU time limit exceeded, terminating % 82.89/81.67 eprover: CPU time limit exceeded, terminating % 84.94/83.68 eprover: CPU time limit exceeded, terminating % 87.01/85.69 eprover: CPU time limit exceeded, terminating % 89.01/87.70 eprover: CPU time limit exceeded, terminating % 91.11/89.71 eprover: CPU time limit exceeded, terminating % 93.12/91.72 eprover: CPU time limit exceeded, terminating % 95.20/93.73 eprover: CPU time limit exceeded, terminating % 97.25/95.74 eprover: CPU time limit exceeded, terminating % 99.26/97.75 eprover: CPU time limit exceeded, terminating % 101.34/99.77 eprover: CPU time limit exceeded, terminating % 103.38/101.78 eprover: CPU time limit exceeded, terminating % 105.42/103.79 eprover: CPU time limit exceeded, terminating % 107.41/105.80 eprover: CPU time limit exceeded, terminating % 109.50/107.81 eprover: CPU time limit exceeded, terminating % 111.54/109.81 eprover: CPU time limit exceeded, terminating % 113.61/111.82 eprover: CPU time limit exceeded, terminating % 115.66/113.83 eprover: CPU time limit exceeded, terminating % 117.65/115.84 eprover: CPU time limit exceeded, terminating % 119.71/117.85 eprover: CPU time limit exceeded, terminating % 121.79/119.86 eprover: CPU time limit exceeded, terminating % 123.83/121.87 eprover: CPU time limit exceeded, terminating % 125.88/123.88 eprover: CPU time limit exceeded, terminating % 127.89/125.89 eprover: CPU time limit exceeded, terminating % 129.96/127.90 eprover: CPU time limit exceeded, terminating % 131.99/129.91 eprover: CPU time limit exceeded, terminating % 133.98/131.92 eprover: CPU time limit exceeded, terminating % 136.07/133.93 eprover: CPU time limit exceeded, terminating % 138.11/135.94 eprover: CPU time limit exceeded, terminating % 140.16/137.95 eprover: CPU time limit exceeded, terminating % 142.26/139.96 eprover: CPU time limit exceeded, terminating % 144.29/141.97 eprover: CPU time limit exceeded, terminating % 146.31/143.99 eprover: CPU time limit exceeded, terminating % 148.35/145.99 eprover: CPU time limit exceeded, terminating % 150.41/148.00 eprover: CPU time limit exceeded, terminating % 152.43/150.01 eprover: CPU time limit exceeded, terminating % 154.45/152.02 eprover: CPU time limit exceeded, terminating % 156.52/154.03 eprover: CPU time limit exceeded, terminating % 158.60/156.04 eprover: CPU time limit exceeded, terminating % 160.64/158.05 eprover: CPU time limit exceeded, terminating % 162.69/160.07 eprover: CPU time limit exceeded, terminating % 164.73/162.08 eprover: CPU time limit exceeded, terminating % 166.80/164.09 eprover: CPU time limit exceeded, terminating % 168.80/166.10 eprover: CPU time limit exceeded, terminating % 170.90/168.11 eprover: CPU time limit exceeded, terminating % 172.90/170.12 eprover: CPU time limit exceeded, terminating % 174.90/172.13 eprover: CPU time limit exceeded, terminating % 177.03/174.14 eprover: CPU time limit exceeded, terminating % 179.08/176.15 eprover: CPU time limit exceeded, terminating % 181.10/178.16 eprover: CPU time limit exceeded, terminating % 183.16/180.16 eprover: CPU time limit exceeded, terminating % 185.19/182.17 eprover: CPU time limit exceeded, terminating % 187.22/184.18 eprover: CPU time limit exceeded, terminating % 189.27/186.19 eprover: CPU time limit exceeded, terminating % 191.35/188.20 eprover: CPU time limit exceeded, terminating % 193.37/190.21 eprover: CPU time limit exceeded, terminating % 195.41/192.22 eprover: CPU time limit exceeded, terminating % 197.44/194.23 eprover: CPU time limit exceeded, terminating % 199.49/196.24 eprover: CPU time limit exceeded, terminating % 201.53/198.25 eprover: CPU time limit exceeded, terminating % 203.59/200.26 eprover: CPU time limit exceeded, terminating % 205.65/202.27 eprover: CPU time limit exceeded, terminating % 207.68/204.28 eprover: CPU time limit exceeded, terminating % 209.72/206.29 eprover: CPU time limit exceeded, terminating % 211.81/208.30 eprover: CPU time limit exceeded, terminating % 213.80/210.31 eprover: CPU time limit exceeded, terminating % 215.82/212.32 eprover: CPU time limit exceeded, terminating % 217.86/214.33 eprover: CPU time limit exceeded, terminating % 219.92/216.34 eprover: CPU time limit exceeded, terminating % 222.00/218.35 eprover: CPU time limit exceeded, terminating % 224.07/220.36 eprover: CPU time limit exceeded, terminating % 226.12/222.37 eprover: CPU time limit exceeded, terminating % 228.14/224.38 eprover: CPU time limit exceeded, terminating % 230.17/226.39 eprover: CPU time limit exceeded, terminating % 232.26/228.40 eprover: CPU time limit exceeded, terminating % 234.28/230.41 eprover: CPU time limit exceeded, terminating % 236.33/232.42 eprover: CPU time limit exceeded, terminating % 238.35/234.43 eprover: CPU time limit exceeded, terminating % 240.37/236.44 eprover: CPU time limit exceeded, terminating % 242.49/238.45 eprover: CPU time limit exceeded, terminating % 244.52/240.46 eprover: CPU time limit exceeded, terminating % 246.56/242.47 eprover: CPU time limit exceeded, terminating % 248.61/244.48 eprover: CPU time limit exceeded, terminating % 250.65/246.49 eprover: CPU time limit exceeded, terminating % 252.69/248.50 eprover: CPU time limit exceeded, terminating % 254.72/250.51 eprover: CPU time limit exceeded, terminating % 256.74/252.52 eprover: CPU time limit exceeded, terminating % 258.78/254.53 eprover: CPU time limit exceeded, terminating % 260.90/256.54 eprover: CPU time limit exceeded, terminating % 262.93/258.55 eprover: CPU time limit exceeded, terminating % 264.96/260.56 eprover: CPU time limit exceeded, terminating % 267.01/262.57 eprover: CPU time limit exceeded, terminating % 269.07/264.58 eprover: CPU time limit exceeded, terminating % 271.11/266.59 eprover: CPU time limit exceeded, terminating % 273.13/268.60 eprover: CPU time limit exceeded, terminating % 275.19/270.61 eprover: CPU time limit exceeded, terminating % 277.21/272.62 eprover: CPU time limit exceeded, terminating % 279.31/274.63 eprover: CPU time limit exceeded, terminating % 281.35/276.64 eprover: CPU time limit exceeded, terminating % 283.41/278.65 eprover: CPU time limit exceeded, terminating % 285.43/280.66 eprover: CPU time limit exceeded, terminating % 287.47/282.67 eprover: CPU time limit exceeded, terminating % 289.50/284.68 eprover: CPU time limit exceeded, terminating % 291.57/286.69 eprover: CPU time limit exceeded, terminating % 293.58/288.70 eprover: CPU time limit exceeded, terminating % 295.64/290.71 eprover: CPU time limit exceeded, terminating % 297.66/292.72 eprover: CPU time limit exceeded, terminating % 299.75/294.73 eprover: CPU time limit exceeded, terminating % 300.39/295.33 eprover: CPU time limit exceeded, terminating % 300.39/295.34 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------