%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM789+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:51 EDT 2022 % Result : Timeout 287.72s 277.54s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.11 % Problem : NUM789+4 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.12 % Command : run_infinox %s % 0.11/0.33 % Computer : n024.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 : Thu Jul 7 20:13:59 EDT 2022 % 0.11/0.33 % CPUTime : % 4.27/4.38 eprover: CPU time limit exceeded, terminating % 6.26/6.39 eprover: CPU time limit exceeded, terminating % 8.43/8.40 eprover: CPU time limit exceeded, terminating % 10.50/10.41 eprover: CPU time limit exceeded, terminating % 12.57/12.42 eprover: CPU time limit exceeded, terminating % 14.68/14.43 eprover: CPU time limit exceeded, terminating % 16.73/16.43 eprover: CPU time limit exceeded, terminating % 18.84/18.44 eprover: CPU time limit exceeded, terminating % 20.88/20.45 eprover: CPU time limit exceeded, terminating % 22.97/22.46 eprover: CPU time limit exceeded, terminating % 25.04/24.47 eprover: CPU time limit exceeded, terminating % 27.13/26.48 eprover: CPU time limit exceeded, terminating % 29.28/28.48 eprover: CPU time limit exceeded, terminating % 31.28/30.49 eprover: CPU time limit exceeded, terminating % 33.37/32.50 eprover: CPU time limit exceeded, terminating % 35.54/34.51 eprover: CPU time limit exceeded, terminating % 37.60/36.52 eprover: CPU time limit exceeded, terminating % 39.70/38.53 eprover: CPU time limit exceeded, terminating % 41.73/40.53 eprover: CPU time limit exceeded, terminating % 43.83/42.54 eprover: CPU time limit exceeded, terminating % 45.92/44.55 eprover: CPU time limit exceeded, terminating % 48.00/46.56 eprover: CPU time limit exceeded, terminating % 50.07/48.57 eprover: CPU time limit exceeded, terminating % 52.17/50.58 eprover: CPU time limit exceeded, terminating % 54.30/52.59 eprover: CPU time limit exceeded, terminating % 56.37/54.59 eprover: CPU time limit exceeded, terminating % 58.48/56.60 eprover: CPU time limit exceeded, terminating % 60.56/58.61 eprover: CPU time limit exceeded, terminating % 62.64/60.62 eprover: CPU time limit exceeded, terminating % 64.72/62.63 eprover: CPU time limit exceeded, terminating % 66.81/64.64 eprover: CPU time limit exceeded, terminating % 68.86/66.65 eprover: CPU time limit exceeded, terminating % 70.95/68.66 eprover: CPU time limit exceeded, terminating % 73.03/70.67 eprover: CPU time limit exceeded, terminating % 75.10/72.68 eprover: CPU time limit exceeded, terminating % 77.17/74.69 eprover: CPU time limit exceeded, terminating % 79.35/76.69 eprover: CPU time limit exceeded, terminating % 81.42/78.70 eprover: CPU time limit exceeded, terminating % 83.42/80.71 eprover: CPU time limit exceeded, terminating % 85.59/82.72 eprover: CPU time limit exceeded, terminating % 87.64/84.73 eprover: CPU time limit exceeded, terminating % 89.73/86.73 eprover: CPU time limit exceeded, terminating % 91.80/88.74 eprover: CPU time limit exceeded, terminating % 93.89/90.75 eprover: CPU time limit exceeded, terminating % 95.97/92.76 eprover: CPU time limit exceeded, terminating % 98.04/94.77 eprover: CPU time limit exceeded, terminating % 100.12/96.78 eprover: CPU time limit exceeded, terminating % 102.26/98.79 eprover: CPU time limit exceeded, terminating % 104.27/100.79 eprover: CPU time limit exceeded, terminating % 106.38/102.80 eprover: CPU time limit exceeded, terminating % 108.51/104.81 eprover: CPU time limit exceeded, terminating % 110.61/106.82 eprover: CPU time limit exceeded, terminating % 112.68/108.83 eprover: CPU time limit exceeded, terminating % 114.72/110.84 eprover: CPU time limit exceeded, terminating % 116.80/112.84 eprover: CPU time limit exceeded, terminating % 118.91/114.85 eprover: CPU time limit exceeded, terminating % 120.98/116.86 eprover: CPU time limit exceeded, terminating % 123.04/118.87 eprover: CPU time limit exceeded, terminating % 125.16/120.88 eprover: CPU time limit exceeded, terminating % 127.20/122.89 eprover: CPU time limit exceeded, terminating % 129.35/124.89 eprover: CPU time limit exceeded, terminating % 131.44/126.90 eprover: CPU time limit exceeded, terminating % 133.53/128.91 eprover: CPU time limit exceeded, terminating % 135.59/130.92 eprover: CPU time limit exceeded, terminating % 137.68/132.93 eprover: CPU time limit exceeded, terminating % 139.76/134.94 eprover: CPU time limit exceeded, terminating % 141.83/136.94 eprover: CPU time limit exceeded, terminating % 143.91/138.95 eprover: CPU time limit exceeded, terminating % 146.01/140.96 eprover: CPU time limit exceeded, terminating % 148.07/142.97 eprover: CPU time limit exceeded, terminating % 150.10/144.98 eprover: CPU time limit exceeded, terminating % 152.20/146.99 eprover: CPU time limit exceeded, terminating % 154.37/148.99 eprover: CPU time limit exceeded, terminating % 156.46/151.00 eprover: CPU time limit exceeded, terminating % 158.54/153.01 eprover: CPU time limit exceeded, terminating % 160.60/155.02 eprover: CPU time limit exceeded, terminating % 162.70/157.03 eprover: CPU time limit exceeded, terminating % 164.77/159.04 eprover: CPU time limit exceeded, terminating % 166.82/161.05 eprover: CPU time limit exceeded, terminating % 168.94/163.05 eprover: CPU time limit exceeded, terminating % 171.00/165.06 eprover: CPU time limit exceeded, terminating % 173.05/167.07 eprover: CPU time limit exceeded, terminating % 175.15/169.08 eprover: CPU time limit exceeded, terminating % 177.30/171.09 eprover: CPU time limit exceeded, terminating % 179.40/173.10 eprover: CPU time limit exceeded, terminating % 181.41/175.11 eprover: CPU time limit exceeded, terminating % 183.54/177.12 eprover: CPU time limit exceeded, terminating % 185.66/179.12 eprover: CPU time limit exceeded, terminating % 187.70/181.13 eprover: CPU time limit exceeded, terminating % 189.80/183.14 eprover: CPU time limit exceeded, terminating % 191.85/185.15 eprover: CPU time limit exceeded, terminating % 193.94/187.16 eprover: CPU time limit exceeded, terminating % 196.00/189.17 eprover: CPU time limit exceeded, terminating % 198.09/191.18 eprover: CPU time limit exceeded, terminating % 200.18/193.18 eprover: CPU time limit exceeded, terminating % 202.31/195.19 eprover: CPU time limit exceeded, terminating % 204.40/197.20 eprover: CPU time limit exceeded, terminating % 206.49/199.21 eprover: CPU time limit exceeded, terminating % 208.56/201.22 eprover: CPU time limit exceeded, terminating % 210.64/203.23 eprover: CPU time limit exceeded, terminating % 212.70/205.23 eprover: CPU time limit exceeded, terminating % 214.81/207.24 eprover: CPU time limit exceeded, terminating % 216.85/209.25 eprover: CPU time limit exceeded, terminating % 218.95/211.26 eprover: CPU time limit exceeded, terminating % 221.01/213.27 eprover: CPU time limit exceeded, terminating % 223.10/215.28 eprover: CPU time limit exceeded, terminating % 225.20/217.29 eprover: CPU time limit exceeded, terminating % 227.25/219.29 eprover: CPU time limit exceeded, terminating % 229.41/221.30 eprover: CPU time limit exceeded, terminating % 231.50/223.31 eprover: CPU time limit exceeded, terminating % 233.60/225.32 eprover: CPU time limit exceeded, terminating % 235.65/227.33 eprover: CPU time limit exceeded, terminating % 237.72/229.34 eprover: CPU time limit exceeded, terminating % 239.82/231.35 eprover: CPU time limit exceeded, terminating % 241.86/233.36 eprover: CPU time limit exceeded, terminating % 243.93/235.36 eprover: CPU time limit exceeded, terminating % 246.03/237.37 eprover: CPU time limit exceeded, terminating % 248.13/239.38 eprover: CPU time limit exceeded, terminating % 250.27/241.39 eprover: CPU time limit exceeded, terminating % 252.34/243.40 eprover: CPU time limit exceeded, terminating % 254.43/245.41 eprover: CPU time limit exceeded, terminating % 256.51/247.42 eprover: CPU time limit exceeded, terminating % 258.59/249.42 eprover: CPU time limit exceeded, terminating % 260.67/251.43 eprover: CPU time limit exceeded, terminating % 262.72/253.44 eprover: CPU time limit exceeded, terminating % 264.78/255.45 eprover: CPU time limit exceeded, terminating % 266.88/257.46 eprover: CPU time limit exceeded, terminating % 268.94/259.47 eprover: CPU time limit exceeded, terminating % 271.02/261.47 eprover: CPU time limit exceeded, terminating % 273.13/263.48 eprover: CPU time limit exceeded, terminating % 275.26/265.49 eprover: CPU time limit exceeded, terminating % 277.35/267.50 eprover: CPU time limit exceeded, terminating % 279.43/269.51 eprover: CPU time limit exceeded, terminating % 281.52/271.52 eprover: CPU time limit exceeded, terminating % 283.58/273.53 eprover: CPU time limit exceeded, terminating % 285.67/275.53 eprover: CPU time limit exceeded, terminating % 287.72/277.54 eprover: CPU time limit exceeded, terminating % 289.82/279.55 eprover: CPU time limit exceeded, terminating % 291.86/281.56 eprover: CPU time limit exceeded, terminating % 293.97/283.57 eprover: CPU time limit exceeded, terminating % 296.05/285.58 eprover: CPU time limit exceeded, terminating % 298.20/287.59 eprover: CPU time limit exceeded, terminating % 300.03/289.33 eprover: CPU time limit exceeded, terminating % 300.03/289.34 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------