%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM739+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:40:12 EDT 2022 % Result : Timeout 286.10s 277.17s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : NUM739+4 : TPTP v8.1.0. Released v7.3.0. % 0.12/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n021.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jul 7 14:44:34 EDT 2022 % 0.12/0.33 % CPUTime : % 3.49/3.63 eprover: CPU time limit exceeded, terminating % 5.55/5.64 eprover: CPU time limit exceeded, terminating % 7.64/7.65 eprover: CPU time limit exceeded, terminating % 9.64/9.66 eprover: CPU time limit exceeded, terminating % 11.73/11.67 eprover: CPU time limit exceeded, terminating % 13.76/13.68 eprover: CPU time limit exceeded, terminating % 15.87/15.69 eprover: CPU time limit exceeded, terminating % 17.94/17.70 eprover: CPU time limit exceeded, terminating % 20.01/19.71 eprover: CPU time limit exceeded, terminating % 22.07/21.72 eprover: CPU time limit exceeded, terminating % 24.13/23.73 eprover: CPU time limit exceeded, terminating % 26.18/25.74 eprover: CPU time limit exceeded, terminating % 28.22/27.75 eprover: CPU time limit exceeded, terminating % 30.27/29.76 eprover: CPU time limit exceeded, terminating % 32.34/31.77 eprover: CPU time limit exceeded, terminating % 34.47/33.78 eprover: CPU time limit exceeded, terminating % 36.53/35.79 eprover: CPU time limit exceeded, terminating % 38.59/37.80 eprover: CPU time limit exceeded, terminating % 40.66/39.81 eprover: CPU time limit exceeded, terminating % 42.70/41.82 eprover: CPU time limit exceeded, terminating % 44.76/43.83 eprover: CPU time limit exceeded, terminating % 46.83/45.84 eprover: CPU time limit exceeded, terminating % 48.88/47.85 eprover: CPU time limit exceeded, terminating % 50.92/49.86 eprover: CPU time limit exceeded, terminating % 52.99/51.87 eprover: CPU time limit exceeded, terminating % 55.04/53.88 eprover: CPU time limit exceeded, terminating % 57.16/55.89 eprover: CPU time limit exceeded, terminating % 59.23/57.90 eprover: CPU time limit exceeded, terminating % 61.29/59.91 eprover: CPU time limit exceeded, terminating % 63.37/61.92 eprover: CPU time limit exceeded, terminating % 65.38/63.93 eprover: CPU time limit exceeded, terminating % 67.46/65.94 eprover: CPU time limit exceeded, terminating % 69.52/67.95 eprover: CPU time limit exceeded, terminating % 71.56/69.96 eprover: CPU time limit exceeded, terminating % 73.63/71.97 eprover: CPU time limit exceeded, terminating % 75.71/73.98 eprover: CPU time limit exceeded, terminating % 77.82/75.99 eprover: CPU time limit exceeded, terminating % 79.86/78.00 eprover: CPU time limit exceeded, terminating % 81.93/80.01 eprover: CPU time limit exceeded, terminating % 84.00/82.02 eprover: CPU time limit exceeded, terminating % 86.03/84.03 eprover: CPU time limit exceeded, terminating % 88.08/86.04 eprover: CPU time limit exceeded, terminating % 90.18/88.05 eprover: CPU time limit exceeded, terminating % 92.20/90.06 eprover: CPU time limit exceeded, terminating % 94.25/92.07 eprover: CPU time limit exceeded, terminating % 96.32/94.08 eprover: CPU time limit exceeded, terminating % 98.44/96.09 eprover: CPU time limit exceeded, terminating % 100.50/98.10 eprover: CPU time limit exceeded, terminating % 102.58/100.11 eprover: CPU time limit exceeded, terminating % 104.61/102.12 eprover: CPU time limit exceeded, terminating % 106.67/104.13 eprover: CPU time limit exceeded, terminating % 108.73/106.14 eprover: CPU time limit exceeded, terminating % 110.77/108.15 eprover: CPU time limit exceeded, terminating % 112.84/110.17 eprover: CPU time limit exceeded, terminating % 114.87/112.18 eprover: CPU time limit exceeded, terminating % 117.00/114.19 eprover: CPU time limit exceeded, terminating % 121.03/116.21 eprover: CPU time limit exceeded, terminating % 123.10/118.22 eprover: CPU time limit exceeded, terminating % 125.17/120.23 eprover: CPU time limit exceeded, terminating % 127.20/122.25 eprover: CPU time limit exceeded, terminating % 129.24/124.27 eprover: CPU time limit exceeded, terminating % 131.29/126.28 eprover: CPU time limit exceeded, terminating % 133.39/128.29 eprover: CPU time limit exceeded, terminating % 135.51/130.30 eprover: CPU time limit exceeded, terminating % 137.55/132.31 eprover: CPU time limit exceeded, terminating % 139.62/134.32 eprover: CPU time limit exceeded, terminating % 141.64/136.33 eprover: CPU time limit exceeded, terminating % 143.70/138.34 eprover: CPU time limit exceeded, terminating % 145.75/140.35 eprover: CPU time limit exceeded, terminating % 147.80/142.36 eprover: CPU time limit exceeded, terminating % 149.85/144.37 eprover: CPU time limit exceeded, terminating % 151.91/146.38 eprover: CPU time limit exceeded, terminating % 153.98/148.39 eprover: CPU time limit exceeded, terminating % 156.15/150.40 eprover: CPU time limit exceeded, terminating % 158.20/152.41 eprover: CPU time limit exceeded, terminating % 160.26/154.42 eprover: CPU time limit exceeded, terminating % 162.31/156.43 eprover: CPU time limit exceeded, terminating % 164.37/158.44 eprover: CPU time limit exceeded, terminating % 166.43/160.45 eprover: CPU time limit exceeded, terminating % 168.47/162.46 eprover: CPU time limit exceeded, terminating % 170.54/164.47 eprover: CPU time limit exceeded, terminating % 172.58/166.48 eprover: CPU time limit exceeded, terminating % 174.72/168.49 eprover: CPU time limit exceeded, terminating % 176.67/170.50 eprover: CPU time limit exceeded, terminating % 178.83/172.51 eprover: CPU time limit exceeded, terminating % 180.90/174.52 eprover: CPU time limit exceeded, terminating % 182.95/176.53 eprover: CPU time limit exceeded, terminating % 185.00/178.54 eprover: CPU time limit exceeded, terminating % 187.06/180.55 eprover: CPU time limit exceeded, terminating % 189.11/182.56 eprover: CPU time limit exceeded, terminating % 191.14/184.57 eprover: CPU time limit exceeded, terminating % 193.22/186.58 eprover: CPU time limit exceeded, terminating % 195.27/188.59 eprover: CPU time limit exceeded, terminating % 197.34/190.60 eprover: CPU time limit exceeded, terminating % 199.44/192.61 eprover: CPU time limit exceeded, terminating % 201.53/194.62 eprover: CPU time limit exceeded, terminating % 203.57/196.63 eprover: CPU time limit exceeded, terminating % 205.62/198.64 eprover: CPU time limit exceeded, terminating % 207.68/200.65 eprover: CPU time limit exceeded, terminating % 209.73/202.66 eprover: CPU time limit exceeded, terminating % 211.79/204.67 eprover: CPU time limit exceeded, terminating % 213.85/206.68 eprover: CPU time limit exceeded, terminating % 215.98/208.70 eprover: CPU time limit exceeded, terminating % 218.04/210.71 eprover: CPU time limit exceeded, terminating % 220.11/212.72 eprover: CPU time limit exceeded, terminating % 222.15/214.74 eprover: CPU time limit exceeded, terminating % 224.17/216.75 eprover: CPU time limit exceeded, terminating % 226.25/218.76 eprover: CPU time limit exceeded, terminating % 228.29/220.77 eprover: CPU time limit exceeded, terminating % 230.44/222.79 eprover: CPU time limit exceeded, terminating % 232.40/224.80 eprover: CPU time limit exceeded, terminating % 234.55/226.82 eprover: CPU time limit exceeded, terminating % 236.59/228.84 eprover: CPU time limit exceeded, terminating % 238.61/230.85 eprover: CPU time limit exceeded, terminating % 240.64/232.86 eprover: CPU time limit exceeded, terminating % 242.75/234.87 eprover: CPU time limit exceeded, terminating % 244.86/236.89 eprover: CPU time limit exceeded, terminating % 246.85/238.90 eprover: CPU time limit exceeded, terminating % 248.95/240.92 eprover: CPU time limit exceeded, terminating % 251.00/242.93 eprover: CPU time limit exceeded, terminating % 253.08/244.95 eprover: CPU time limit exceeded, terminating % 255.17/246.97 eprover: CPU time limit exceeded, terminating % 257.15/248.98 eprover: CPU time limit exceeded, terminating % 259.30/250.99 eprover: CPU time limit exceeded, terminating % 261.33/253.00 eprover: CPU time limit exceeded, terminating % 263.39/255.01 eprover: CPU time limit exceeded, terminating % 265.47/257.03 eprover: CPU time limit exceeded, terminating % 267.54/259.05 eprover: CPU time limit exceeded, terminating % 269.61/261.07 eprover: CPU time limit exceeded, terminating % 271.66/263.08 eprover: CPU time limit exceeded, terminating % 273.68/265.09 eprover: CPU time limit exceeded, terminating % 275.77/267.11 eprover: CPU time limit exceeded, terminating % 277.84/269.13 eprover: CPU time limit exceeded, terminating % 279.92/271.13 eprover: CPU time limit exceeded, terminating % 281.97/273.15 eprover: CPU time limit exceeded, terminating % 283.97/275.16 eprover: CPU time limit exceeded, terminating % 286.10/277.17 eprover: CPU time limit exceeded, terminating % 288.17/279.19 eprover: CPU time limit exceeded, terminating % 290.23/281.20 eprover: CPU time limit exceeded, terminating % 292.29/283.22 eprover: CPU time limit exceeded, terminating % 294.37/285.24 eprover: CPU time limit exceeded, terminating % 296.34/287.25 eprover: CPU time limit exceeded, terminating % 298.46/289.25 eprover: CPU time limit exceeded, terminating % 300.01/290.72 eprover: CPU time limit exceeded, terminating % 300.01/290.74 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------