%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM923+5 : TPTP v8.1.0. Released v5.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:41:45 EDT 2022 % Result : Timeout 287.18s 280.83s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.12 % Problem : NUM923+5 : TPTP v8.1.0. Released v5.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.35 % Computer : n021.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Wed Jul 6 01:31:48 EDT 2022 % 0.13/0.35 % CPUTime : % 2.97/3.18 eprover: CPU time limit exceeded, terminating % 5.05/5.19 eprover: CPU time limit exceeded, terminating % 7.07/7.20 eprover: CPU time limit exceeded, terminating % 9.11/9.21 eprover: CPU time limit exceeded, terminating % 11.11/11.22 eprover: CPU time limit exceeded, terminating % 13.17/13.23 eprover: CPU time limit exceeded, terminating % 15.21/15.24 eprover: CPU time limit exceeded, terminating % 17.21/17.25 eprover: CPU time limit exceeded, terminating % 19.20/19.26 eprover: CPU time limit exceeded, terminating % 21.22/21.27 eprover: CPU time limit exceeded, terminating % 23.28/23.29 eprover: CPU time limit exceeded, terminating % 25.37/25.30 eprover: CPU time limit exceeded, terminating % 27.40/27.31 eprover: CPU time limit exceeded, terminating % 29.43/29.32 eprover: CPU time limit exceeded, terminating % 31.45/31.33 eprover: CPU time limit exceeded, terminating % 33.48/33.34 eprover: CPU time limit exceeded, terminating % 35.49/35.35 eprover: CPU time limit exceeded, terminating % 37.54/37.36 eprover: CPU time limit exceeded, terminating % 39.61/39.37 eprover: CPU time limit exceeded, terminating % 41.57/41.38 eprover: CPU time limit exceeded, terminating % 43.62/43.39 eprover: CPU time limit exceeded, terminating % 45.60/45.40 eprover: CPU time limit exceeded, terminating % 47.66/47.41 eprover: CPU time limit exceeded, terminating % 49.76/49.42 eprover: CPU time limit exceeded, terminating % 51.81/51.43 eprover: CPU time limit exceeded, terminating % 53.81/53.44 eprover: CPU time limit exceeded, terminating % 55.81/55.45 eprover: CPU time limit exceeded, terminating % 57.84/57.46 eprover: CPU time limit exceeded, terminating % 59.85/59.48 eprover: CPU time limit exceeded, terminating % 61.90/61.49 eprover: CPU time limit exceeded, terminating % 63.93/63.50 eprover: CPU time limit exceeded, terminating % 66.02/65.51 eprover: CPU time limit exceeded, terminating % 68.04/67.52 eprover: CPU time limit exceeded, terminating % 70.09/69.53 eprover: CPU time limit exceeded, terminating % 72.10/71.54 eprover: CPU time limit exceeded, terminating % 74.10/73.55 eprover: CPU time limit exceeded, terminating % 76.13/75.56 eprover: CPU time limit exceeded, terminating % 78.18/77.58 eprover: CPU time limit exceeded, terminating % 80.19/79.59 eprover: CPU time limit exceeded, terminating % 82.28/81.60 eprover: CPU time limit exceeded, terminating % 84.34/83.61 eprover: CPU time limit exceeded, terminating % 86.35/85.62 eprover: CPU time limit exceeded, terminating % 88.37/87.63 eprover: CPU time limit exceeded, terminating % 90.38/89.64 eprover: CPU time limit exceeded, terminating % 92.39/91.65 eprover: CPU time limit exceeded, terminating % 94.43/93.66 eprover: CPU time limit exceeded, terminating % 96.46/95.68 eprover: CPU time limit exceeded, terminating % 98.53/97.68 eprover: CPU time limit exceeded, terminating % 100.55/99.70 eprover: CPU time limit exceeded, terminating % 102.54/101.73 eprover: CPU time limit exceeded, terminating % 104.59/103.74 eprover: CPU time limit exceeded, terminating % 106.58/105.75 eprover: CPU time limit exceeded, terminating % 108.64/107.78 eprover: CPU time limit exceeded, terminating % 110.68/109.79 eprover: CPU time limit exceeded, terminating % 112.72/111.80 eprover: CPU time limit exceeded, terminating % 114.74/113.81 eprover: CPU time limit exceeded, terminating % 116.70/115.82 eprover: CPU time limit exceeded, terminating % 118.76/117.83 eprover: CPU time limit exceeded, terminating % 120.81/119.84 eprover: CPU time limit exceeded, terminating % 122.80/121.86 eprover: CPU time limit exceeded, terminating % 126.75/123.87 eprover: CPU time limit exceeded, terminating % 128.79/125.90 eprover: CPU time limit exceeded, terminating % 130.88/127.91 eprover: CPU time limit exceeded, terminating % 132.89/129.92 eprover: CPU time limit exceeded, terminating % 134.93/131.93 eprover: CPU time limit exceeded, terminating % 136.95/133.94 eprover: CPU time limit exceeded, terminating % 138.98/135.95 eprover: CPU time limit exceeded, terminating % 140.96/137.96 eprover: CPU time limit exceeded, terminating % 143.00/139.97 eprover: CPU time limit exceeded, terminating % 144.99/141.98 eprover: CPU time limit exceeded, terminating % 147.04/143.99 eprover: CPU time limit exceeded, terminating % 149.04/146.00 eprover: CPU time limit exceeded, terminating % 151.14/148.02 eprover: CPU time limit exceeded, terminating % 153.14/150.04 eprover: CPU time limit exceeded, terminating % 155.15/152.06 eprover: CPU time limit exceeded, terminating % 157.20/154.08 eprover: CPU time limit exceeded, terminating % 159.20/156.09 eprover: CPU time limit exceeded, terminating % 161.23/158.11 eprover: CPU time limit exceeded, terminating % 163.29/160.12 eprover: CPU time limit exceeded, terminating % 165.35/162.13 eprover: CPU time limit exceeded, terminating % 167.35/164.14 eprover: CPU time limit exceeded, terminating % 169.36/166.16 eprover: CPU time limit exceeded, terminating % 171.45/168.18 eprover: CPU time limit exceeded, terminating % 173.40/170.19 eprover: CPU time limit exceeded, terminating % 175.44/172.20 eprover: CPU time limit exceeded, terminating % 177.54/174.21 eprover: CPU time limit exceeded, terminating % 179.58/176.22 eprover: CPU time limit exceeded, terminating % 181.55/178.24 eprover: CPU time limit exceeded, terminating % 183.57/180.25 eprover: CPU time limit exceeded, terminating % 185.64/182.26 eprover: CPU time limit exceeded, terminating % 187.63/184.27 eprover: CPU time limit exceeded, terminating % 189.68/186.28 eprover: CPU time limit exceeded, terminating % 191.76/188.31 eprover: CPU time limit exceeded, terminating % 193.79/190.32 eprover: CPU time limit exceeded, terminating % 195.82/192.33 eprover: CPU time limit exceeded, terminating % 197.83/194.34 eprover: CPU time limit exceeded, terminating % 199.89/196.35 eprover: CPU time limit exceeded, terminating % 201.88/198.36 eprover: CPU time limit exceeded, terminating % 203.90/200.37 eprover: CPU time limit exceeded, terminating % 205.93/202.38 eprover: CPU time limit exceeded, terminating % 207.94/204.39 eprover: CPU time limit exceeded, terminating % 211.95/206.40 eprover: CPU time limit exceeded, terminating % 213.97/208.41 eprover: CPU time limit exceeded, terminating % 216.01/210.43 eprover: CPU time limit exceeded, terminating % 218.02/212.44 eprover: CPU time limit exceeded, terminating % 220.06/214.45 eprover: CPU time limit exceeded, terminating % 222.04/216.46 eprover: CPU time limit exceeded, terminating % 224.13/218.47 eprover: CPU time limit exceeded, terminating % 226.14/220.48 eprover: CPU time limit exceeded, terminating % 228.22/222.49 eprover: CPU time limit exceeded, terminating % 230.26/224.50 eprover: CPU time limit exceeded, terminating % 232.28/226.52 eprover: CPU time limit exceeded, terminating % 234.30/228.53 eprover: CPU time limit exceeded, terminating % 236.37/230.54 eprover: CPU time limit exceeded, terminating % 238.36/232.55 eprover: CPU time limit exceeded, terminating % 240.40/234.56 eprover: CPU time limit exceeded, terminating % 242.46/236.58 eprover: CPU time limit exceeded, terminating % 244.50/238.59 eprover: CPU time limit exceeded, terminating % 246.50/240.60 eprover: CPU time limit exceeded, terminating % 248.56/242.61 eprover: CPU time limit exceeded, terminating % 250.51/244.62 eprover: CPU time limit exceeded, terminating % 252.63/246.63 eprover: CPU time limit exceeded, terminating % 254.67/248.65 eprover: CPU time limit exceeded, terminating % 256.66/250.66 eprover: CPU time limit exceeded, terminating % 258.70/252.67 eprover: CPU time limit exceeded, terminating % 260.77/254.68 eprover: CPU time limit exceeded, terminating % 262.80/256.69 eprover: CPU time limit exceeded, terminating % 264.83/258.70 eprover: CPU time limit exceeded, terminating % 266.86/260.71 eprover: CPU time limit exceeded, terminating % 268.85/262.72 eprover: CPU time limit exceeded, terminating % 270.92/264.74 eprover: CPU time limit exceeded, terminating % 272.96/266.75 eprover: CPU time limit exceeded, terminating % 274.99/268.76 eprover: CPU time limit exceeded, terminating % 277.00/270.77 eprover: CPU time limit exceeded, terminating % 279.06/272.78 eprover: CPU time limit exceeded, terminating % 281.01/274.79 eprover: CPU time limit exceeded, terminating % 283.12/276.80 eprover: CPU time limit exceeded, terminating % 285.16/278.81 eprover: CPU time limit exceeded, terminating % 287.18/280.83 eprover: CPU time limit exceeded, terminating % 289.24/282.84 eprover: CPU time limit exceeded, terminating % 291.21/284.85 eprover: CPU time limit exceeded, terminating % 293.28/286.86 eprover: CPU time limit exceeded, terminating % 295.27/288.87 eprover: CPU time limit exceeded, terminating % 297.38/290.88 eprover: CPU time limit exceeded, terminating % 299.39/292.90 eprover: CPU time limit exceeded, terminating % 301.41/292.93 eprover: CPU time limit exceeded, terminating % 301.41/292.95 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------