%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM697+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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:45 EDT 2022 % Result : Timeout 287.49s 276.76s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM697+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n021.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Tue Jul 5 22:33:33 EDT 2022 % 0.12/0.34 % CPUTime : % 3.10/3.30 eprover: CPU time limit exceeded, terminating % 5.12/5.31 eprover: CPU time limit exceeded, terminating % 7.18/7.32 eprover: CPU time limit exceeded, terminating % 9.26/9.33 eprover: CPU time limit exceeded, terminating % 11.32/11.34 eprover: CPU time limit exceeded, terminating % 13.36/13.35 eprover: CPU time limit exceeded, terminating % 15.43/15.36 eprover: CPU time limit exceeded, terminating % 17.49/17.37 eprover: CPU time limit exceeded, terminating % 19.51/19.38 eprover: CPU time limit exceeded, terminating % 21.56/21.39 eprover: CPU time limit exceeded, terminating % 23.58/23.40 eprover: CPU time limit exceeded, terminating % 25.65/25.41 eprover: CPU time limit exceeded, terminating % 27.66/27.42 eprover: CPU time limit exceeded, terminating % 29.74/29.43 eprover: CPU time limit exceeded, terminating % 31.81/31.44 eprover: CPU time limit exceeded, terminating % 33.86/33.45 eprover: CPU time limit exceeded, terminating % 35.89/35.46 eprover: CPU time limit exceeded, terminating % 37.94/37.47 eprover: CPU time limit exceeded, terminating % 39.98/39.48 eprover: CPU time limit exceeded, terminating % 42.05/41.49 eprover: CPU time limit exceeded, terminating % 44.10/43.50 eprover: CPU time limit exceeded, terminating % 46.14/45.51 eprover: CPU time limit exceeded, terminating % 48.19/47.52 eprover: CPU time limit exceeded, terminating % 50.22/49.53 eprover: CPU time limit exceeded, terminating % 52.28/51.54 eprover: CPU time limit exceeded, terminating % 54.33/53.55 eprover: CPU time limit exceeded, terminating % 56.38/55.56 eprover: CPU time limit exceeded, terminating % 58.43/57.57 eprover: CPU time limit exceeded, terminating % 60.46/59.58 eprover: CPU time limit exceeded, terminating % 62.52/61.59 eprover: CPU time limit exceeded, terminating % 64.53/63.60 eprover: CPU time limit exceeded, terminating % 66.60/65.61 eprover: CPU time limit exceeded, terminating % 68.65/67.62 eprover: CPU time limit exceeded, terminating % 70.73/69.64 eprover: CPU time limit exceeded, terminating % 72.79/71.65 eprover: CPU time limit exceeded, terminating % 74.81/73.66 eprover: CPU time limit exceeded, terminating % 76.87/75.66 eprover: CPU time limit exceeded, terminating % 78.90/77.67 eprover: CPU time limit exceeded, terminating % 80.95/79.68 eprover: CPU time limit exceeded, terminating % 82.97/81.69 eprover: CPU time limit exceeded, terminating % 84.98/83.70 eprover: CPU time limit exceeded, terminating % 87.07/85.71 eprover: CPU time limit exceeded, terminating % 89.13/87.72 eprover: CPU time limit exceeded, terminating % 91.16/89.73 eprover: CPU time limit exceeded, terminating % 93.21/91.74 eprover: CPU time limit exceeded, terminating % 97.18/93.75 eprover: CPU time limit exceeded, terminating % 99.30/95.76 eprover: CPU time limit exceeded, terminating % 101.34/97.77 eprover: CPU time limit exceeded, terminating % 103.36/99.78 eprover: CPU time limit exceeded, terminating % 105.38/101.79 eprover: CPU time limit exceeded, terminating % 107.43/103.80 eprover: CPU time limit exceeded, terminating % 109.51/105.81 eprover: CPU time limit exceeded, terminating % 111.50/107.82 eprover: CPU time limit exceeded, terminating % 113.56/109.83 eprover: CPU time limit exceeded, terminating % 115.67/111.84 eprover: CPU time limit exceeded, terminating % 117.72/113.86 eprover: CPU time limit exceeded, terminating % 119.77/115.87 eprover: CPU time limit exceeded, terminating % 121.82/117.88 eprover: CPU time limit exceeded, terminating % 123.85/119.89 eprover: CPU time limit exceeded, terminating % 125.88/121.90 eprover: CPU time limit exceeded, terminating % 127.93/123.91 eprover: CPU time limit exceeded, terminating % 130.00/125.92 eprover: CPU time limit exceeded, terminating % 132.00/127.93 eprover: CPU time limit exceeded, terminating % 134.07/129.94 eprover: CPU time limit exceeded, terminating % 136.17/131.95 eprover: CPU time limit exceeded, terminating % 138.19/133.96 eprover: CPU time limit exceeded, terminating % 140.23/135.97 eprover: CPU time limit exceeded, terminating % 142.29/137.97 eprover: CPU time limit exceeded, terminating % 144.33/139.98 eprover: CPU time limit exceeded, terminating % 146.36/141.99 eprover: CPU time limit exceeded, terminating % 148.40/144.00 eprover: CPU time limit exceeded, terminating % 150.41/146.01 eprover: CPU time limit exceeded, terminating % 152.45/148.02 eprover: CPU time limit exceeded, terminating % 154.55/150.03 eprover: CPU time limit exceeded, terminating % 156.57/152.04 eprover: CPU time limit exceeded, terminating % 158.65/154.05 eprover: CPU time limit exceeded, terminating % 160.68/156.06 eprover: CPU time limit exceeded, terminating % 162.73/158.07 eprover: CPU time limit exceeded, terminating % 164.77/160.08 eprover: CPU time limit exceeded, terminating % 166.82/162.09 eprover: CPU time limit exceeded, terminating % 168.84/164.09 eprover: CPU time limit exceeded, terminating % 170.87/166.10 eprover: CPU time limit exceeded, terminating % 172.92/168.11 eprover: CPU time limit exceeded, terminating % 174.92/170.13 eprover: CPU time limit exceeded, terminating % 179.04/172.14 eprover: CPU time limit exceeded, terminating % 181.07/174.16 eprover: CPU time limit exceeded, terminating % 183.13/176.18 eprover: CPU time limit exceeded, terminating % 185.15/178.20 eprover: CPU time limit exceeded, terminating % 189.19/180.23 eprover: CPU time limit exceeded, terminating % 191.24/182.24 eprover: CPU time limit exceeded, terminating % 193.26/184.26 eprover: CPU time limit exceeded, terminating % 195.37/186.27 eprover: CPU time limit exceeded, terminating % 197.39/188.29 eprover: CPU time limit exceeded, terminating % 199.47/190.30 eprover: CPU time limit exceeded, terminating % 201.48/192.31 eprover: CPU time limit exceeded, terminating % 203.53/194.33 eprover: CPU time limit exceeded, terminating % 205.54/196.35 eprover: CPU time limit exceeded, terminating % 207.65/198.36 eprover: CPU time limit exceeded, terminating % 209.68/200.37 eprover: CPU time limit exceeded, terminating % 211.71/202.38 eprover: CPU time limit exceeded, terminating % 213.79/204.39 eprover: CPU time limit exceeded, terminating % 215.79/206.40 eprover: CPU time limit exceeded, terminating % 217.87/208.41 eprover: CPU time limit exceeded, terminating % 219.89/210.42 eprover: CPU time limit exceeded, terminating % 221.96/212.43 eprover: CPU time limit exceeded, terminating % 224.03/214.44 eprover: CPU time limit exceeded, terminating % 226.05/216.45 eprover: CPU time limit exceeded, terminating % 228.14/218.46 eprover: CPU time limit exceeded, terminating % 230.18/220.47 eprover: CPU time limit exceeded, terminating % 232.22/222.48 eprover: CPU time limit exceeded, terminating % 234.26/224.49 eprover: CPU time limit exceeded, terminating % 236.31/226.50 eprover: CPU time limit exceeded, terminating % 238.29/228.51 eprover: CPU time limit exceeded, terminating % 240.35/230.52 eprover: CPU time limit exceeded, terminating % 242.43/232.53 eprover: CPU time limit exceeded, terminating % 244.49/234.54 eprover: CPU time limit exceeded, terminating % 246.52/236.55 eprover: CPU time limit exceeded, terminating % 248.53/238.56 eprover: CPU time limit exceeded, terminating % 250.60/240.57 eprover: CPU time limit exceeded, terminating % 252.65/242.58 eprover: CPU time limit exceeded, terminating % 254.75/244.59 eprover: CPU time limit exceeded, terminating % 256.79/246.60 eprover: CPU time limit exceeded, terminating % 258.83/248.62 eprover: CPU time limit exceeded, terminating % 260.87/250.63 eprover: CPU time limit exceeded, terminating % 262.92/252.64 eprover: CPU time limit exceeded, terminating % 264.93/254.65 eprover: CPU time limit exceeded, terminating % 267.01/256.66 eprover: CPU time limit exceeded, terminating % 268.97/258.67 eprover: CPU time limit exceeded, terminating % 271.08/260.68 eprover: CPU time limit exceeded, terminating % 273.12/262.69 eprover: CPU time limit exceeded, terminating % 275.18/264.70 eprover: CPU time limit exceeded, terminating % 277.21/266.71 eprover: CPU time limit exceeded, terminating % 279.22/268.72 eprover: CPU time limit exceeded, terminating % 281.36/270.73 eprover: CPU time limit exceeded, terminating % 283.39/272.74 eprover: CPU time limit exceeded, terminating % 285.39/274.75 eprover: CPU time limit exceeded, terminating % 287.49/276.76 eprover: CPU time limit exceeded, terminating % 289.51/278.77 eprover: CPU time limit exceeded, terminating % 291.56/280.78 eprover: CPU time limit exceeded, terminating % 293.63/282.79 eprover: CPU time limit exceeded, terminating % 295.68/284.80 eprover: CPU time limit exceeded, terminating % 297.73/286.81 eprover: CPU time limit exceeded, terminating % 299.77/288.82 eprover: CPU time limit exceeded, terminating % 300.23/289.24 eprover: CPU time limit exceeded, terminating % 300.23/289.25 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------