%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM736+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n010.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:40:10 EDT 2022 % Result : Timeout 287.61s 280.89s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.11 % Problem : NUM736+4 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.12 % Command : run_infinox %s % 0.11/0.33 % Computer : n010.cluster.edu % 0.11/0.33 % Model : x86_64 x86_64 % 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.33 % Memory : 8042.1875MB % 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.33 % CPULimit : 300 % 0.11/0.33 % WCLimit : 600 % 0.11/0.33 % DateTime : Wed Jul 6 10:19:17 EDT 2022 % 0.11/0.33 % CPUTime : % 3.48/3.64 eprover: CPU time limit exceeded, terminating % 5.50/5.65 eprover: CPU time limit exceeded, terminating % 7.56/7.66 eprover: CPU time limit exceeded, terminating % 9.63/9.67 eprover: CPU time limit exceeded, terminating % 11.64/11.68 eprover: CPU time limit exceeded, terminating % 13.73/13.68 eprover: CPU time limit exceeded, terminating % 15.85/15.69 eprover: CPU time limit exceeded, terminating % 17.86/17.70 eprover: CPU time limit exceeded, terminating % 19.95/19.71 eprover: CPU time limit exceeded, terminating % 22.03/21.72 eprover: CPU time limit exceeded, terminating % 24.03/23.73 eprover: CPU time limit exceeded, terminating % 26.10/25.74 eprover: CPU time limit exceeded, terminating % 28.19/27.75 eprover: CPU time limit exceeded, terminating % 30.22/29.76 eprover: CPU time limit exceeded, terminating % 32.28/31.77 eprover: CPU time limit exceeded, terminating % 34.32/33.77 eprover: CPU time limit exceeded, terminating % 36.36/35.78 eprover: CPU time limit exceeded, terminating % 38.50/37.79 eprover: CPU time limit exceeded, terminating % 40.48/39.80 eprover: CPU time limit exceeded, terminating % 42.54/41.81 eprover: CPU time limit exceeded, terminating % 44.67/43.82 eprover: CPU time limit exceeded, terminating % 46.73/45.83 eprover: CPU time limit exceeded, terminating % 48.79/47.84 eprover: CPU time limit exceeded, terminating % 50.81/49.85 eprover: CPU time limit exceeded, terminating % 52.90/51.86 eprover: CPU time limit exceeded, terminating % 54.92/53.86 eprover: CPU time limit exceeded, terminating % 56.97/55.87 eprover: CPU time limit exceeded, terminating % 59.09/57.88 eprover: CPU time limit exceeded, terminating % 61.08/59.89 eprover: CPU time limit exceeded, terminating % 63.15/61.90 eprover: CPU time limit exceeded, terminating % 65.27/63.91 eprover: CPU time limit exceeded, terminating % 67.32/65.92 eprover: CPU time limit exceeded, terminating % 69.37/67.93 eprover: CPU time limit exceeded, terminating % 71.45/69.94 eprover: CPU time limit exceeded, terminating % 73.45/71.95 eprover: CPU time limit exceeded, terminating % 75.49/73.95 eprover: CPU time limit exceeded, terminating % 77.53/75.97 eprover: CPU time limit exceeded, terminating % 79.62/77.98 eprover: CPU time limit exceeded, terminating % 81.69/79.99 eprover: CPU time limit exceeded, terminating % 83.71/81.99 eprover: CPU time limit exceeded, terminating % 85.79/84.00 eprover: CPU time limit exceeded, terminating % 87.92/86.01 eprover: CPU time limit exceeded, terminating % 89.99/88.02 eprover: CPU time limit exceeded, terminating % 92.03/90.03 eprover: CPU time limit exceeded, terminating % 94.07/92.04 eprover: CPU time limit exceeded, terminating % 96.10/94.05 eprover: CPU time limit exceeded, terminating % 98.16/96.06 eprover: CPU time limit exceeded, terminating % 100.22/98.07 eprover: CPU time limit exceeded, terminating % 102.27/100.08 eprover: CPU time limit exceeded, terminating % 104.33/102.08 eprover: CPU time limit exceeded, terminating % 106.38/104.09 eprover: CPU time limit exceeded, terminating % 108.50/106.10 eprover: CPU time limit exceeded, terminating % 110.56/108.11 eprover: CPU time limit exceeded, terminating % 112.60/110.12 eprover: CPU time limit exceeded, terminating % 114.64/112.13 eprover: CPU time limit exceeded, terminating % 116.70/114.14 eprover: CPU time limit exceeded, terminating % 118.76/116.15 eprover: CPU time limit exceeded, terminating % 120.80/118.16 eprover: CPU time limit exceeded, terminating % 122.87/120.17 eprover: CPU time limit exceeded, terminating % 124.93/122.18 eprover: CPU time limit exceeded, terminating % 126.95/124.18 eprover: CPU time limit exceeded, terminating % 129.06/126.19 eprover: CPU time limit exceeded, terminating % 131.06/128.20 eprover: CPU time limit exceeded, terminating % 133.18/130.21 eprover: CPU time limit exceeded, terminating % 135.25/132.22 eprover: CPU time limit exceeded, terminating % 137.26/134.23 eprover: CPU time limit exceeded, terminating % 139.37/136.24 eprover: CPU time limit exceeded, terminating % 141.38/138.25 eprover: CPU time limit exceeded, terminating % 143.48/140.26 eprover: CPU time limit exceeded, terminating % 145.50/142.27 eprover: CPU time limit exceeded, terminating % 147.58/144.27 eprover: CPU time limit exceeded, terminating % 149.67/146.28 eprover: CPU time limit exceeded, terminating % 151.67/148.29 eprover: CPU time limit exceeded, terminating % 153.77/150.30 eprover: CPU time limit exceeded, terminating % 155.77/152.31 eprover: CPU time limit exceeded, terminating % 157.86/154.32 eprover: CPU time limit exceeded, terminating % 159.96/156.33 eprover: CPU time limit exceeded, terminating % 161.96/158.34 eprover: CPU time limit exceeded, terminating % 164.08/160.35 eprover: CPU time limit exceeded, terminating % 166.10/162.36 eprover: CPU time limit exceeded, terminating % 168.17/164.37 eprover: CPU time limit exceeded, terminating % 170.18/166.37 eprover: CPU time limit exceeded, terminating % 172.28/168.38 eprover: CPU time limit exceeded, terminating % 174.36/170.39 eprover: CPU time limit exceeded, terminating % 176.36/172.40 eprover: CPU time limit exceeded, terminating % 178.47/174.41 eprover: CPU time limit exceeded, terminating % 180.55/176.42 eprover: CPU time limit exceeded, terminating % 182.62/178.43 eprover: CPU time limit exceeded, terminating % 184.66/180.44 eprover: CPU time limit exceeded, terminating % 186.71/182.45 eprover: CPU time limit exceeded, terminating % 188.73/184.46 eprover: CPU time limit exceeded, terminating % 190.81/186.46 eprover: CPU time limit exceeded, terminating % 192.89/188.47 eprover: CPU time limit exceeded, terminating % 194.91/190.48 eprover: CPU time limit exceeded, terminating % 197.03/192.49 eprover: CPU time limit exceeded, terminating % 199.09/194.50 eprover: CPU time limit exceeded, terminating % 201.13/196.51 eprover: CPU time limit exceeded, terminating % 203.17/198.52 eprover: CPU time limit exceeded, terminating % 205.25/200.53 eprover: CPU time limit exceeded, terminating % 207.30/202.54 eprover: CPU time limit exceeded, terminating % 209.31/204.55 eprover: CPU time limit exceeded, terminating % 211.40/206.55 eprover: CPU time limit exceeded, terminating % 213.49/208.56 eprover: CPU time limit exceeded, terminating % 215.49/210.57 eprover: CPU time limit exceeded, terminating % 217.61/212.58 eprover: CPU time limit exceeded, terminating % 219.62/214.59 eprover: CPU time limit exceeded, terminating % 221.72/216.60 eprover: CPU time limit exceeded, terminating % 223.74/218.61 eprover: CPU time limit exceeded, terminating % 225.83/220.62 eprover: CPU time limit exceeded, terminating % 227.90/222.63 eprover: CPU time limit exceeded, terminating % 229.94/224.64 eprover: CPU time limit exceeded, terminating % 232.00/226.64 eprover: CPU time limit exceeded, terminating % 234.03/228.65 eprover: CPU time limit exceeded, terminating % 236.11/230.66 eprover: CPU time limit exceeded, terminating % 238.15/232.67 eprover: CPU time limit exceeded, terminating % 240.22/234.68 eprover: CPU time limit exceeded, terminating % 242.31/236.70 eprover: CPU time limit exceeded, terminating % 244.36/238.70 eprover: CPU time limit exceeded, terminating % 246.40/240.71 eprover: CPU time limit exceeded, terminating % 248.42/242.72 eprover: CPU time limit exceeded, terminating % 250.52/244.73 eprover: CPU time limit exceeded, terminating % 252.60/246.74 eprover: CPU time limit exceeded, terminating % 254.62/248.75 eprover: CPU time limit exceeded, terminating % 256.71/250.76 eprover: CPU time limit exceeded, terminating % 258.76/252.77 eprover: CPU time limit exceeded, terminating % 260.84/254.78 eprover: CPU time limit exceeded, terminating % 262.90/256.79 eprover: CPU time limit exceeded, terminating % 264.92/258.79 eprover: CPU time limit exceeded, terminating % 267.01/260.80 eprover: CPU time limit exceeded, terminating % 269.07/262.81 eprover: CPU time limit exceeded, terminating % 271.15/264.82 eprover: CPU time limit exceeded, terminating % 273.19/266.83 eprover: CPU time limit exceeded, terminating % 275.21/268.84 eprover: CPU time limit exceeded, terminating % 277.32/270.85 eprover: CPU time limit exceeded, terminating % 279.38/272.86 eprover: CPU time limit exceeded, terminating % 281.45/274.87 eprover: CPU time limit exceeded, terminating % 283.51/276.88 eprover: CPU time limit exceeded, terminating % 285.52/278.88 eprover: CPU time limit exceeded, terminating % 287.61/280.89 eprover: CPU time limit exceeded, terminating % 289.67/282.90 eprover: CPU time limit exceeded, terminating % 291.74/284.91 eprover: CPU time limit exceeded, terminating % 293.74/286.92 eprover: CPU time limit exceeded, terminating % 295.82/288.93 eprover: CPU time limit exceeded, terminating % 297.88/290.94 eprover: CPU time limit exceeded, terminating % 299.93/292.95 eprover: CPU time limit exceeded, terminating % 300.41/293.35 eprover: CPU time limit exceeded, terminating % 300.41/293.37 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------