%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM760+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:30 EDT 2022 % Result : Timeout 285.99s 277.94s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : NUM760+4 : TPTP v8.1.0. Released v7.3.0. % 0.08/0.13 % Command : run_infinox %s % 0.14/0.35 % Computer : n004.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Tue Jul 5 04:47:22 EDT 2022 % 0.14/0.35 % CPUTime : % 3.84/4.00 eprover: CPU time limit exceeded, terminating % 5.97/6.02 eprover: CPU time limit exceeded, terminating % 8.05/8.03 eprover: CPU time limit exceeded, terminating % 10.12/10.05 eprover: CPU time limit exceeded, terminating % 12.20/12.06 eprover: CPU time limit exceeded, terminating % 14.30/14.07 eprover: CPU time limit exceeded, terminating % 16.32/16.09 eprover: CPU time limit exceeded, terminating % 18.43/18.10 eprover: CPU time limit exceeded, terminating % 20.51/20.11 eprover: CPU time limit exceeded, terminating % 22.56/22.13 eprover: CPU time limit exceeded, terminating % 24.65/24.14 eprover: CPU time limit exceeded, terminating % 26.75/26.16 eprover: CPU time limit exceeded, terminating % 28.80/28.17 eprover: CPU time limit exceeded, terminating % 30.86/30.18 eprover: CPU time limit exceeded, terminating % 32.96/32.20 eprover: CPU time limit exceeded, terminating % 35.07/34.21 eprover: CPU time limit exceeded, terminating % 37.08/36.23 eprover: CPU time limit exceeded, terminating % 39.18/38.24 eprover: CPU time limit exceeded, terminating % 41.29/40.25 eprover: CPU time limit exceeded, terminating % 43.35/42.27 eprover: CPU time limit exceeded, terminating % 45.43/44.28 eprover: CPU time limit exceeded, terminating % 47.51/46.29 eprover: CPU time limit exceeded, terminating % 49.57/48.31 eprover: CPU time limit exceeded, terminating % 51.61/50.32 eprover: CPU time limit exceeded, terminating % 53.75/52.34 eprover: CPU time limit exceeded, terminating % 55.81/54.35 eprover: CPU time limit exceeded, terminating % 57.88/56.36 eprover: CPU time limit exceeded, terminating % 59.95/58.38 eprover: CPU time limit exceeded, terminating % 62.01/60.39 eprover: CPU time limit exceeded, terminating % 64.08/62.41 eprover: CPU time limit exceeded, terminating % 66.20/64.42 eprover: CPU time limit exceeded, terminating % 68.28/66.43 eprover: CPU time limit exceeded, terminating % 70.38/68.45 eprover: CPU time limit exceeded, terminating % 72.45/70.46 eprover: CPU time limit exceeded, terminating % 74.53/72.48 eprover: CPU time limit exceeded, terminating % 76.56/74.49 eprover: CPU time limit exceeded, terminating % 78.67/76.51 eprover: CPU time limit exceeded, terminating % 80.74/78.52 eprover: CPU time limit exceeded, terminating % 82.83/80.54 eprover: CPU time limit exceeded, terminating % 84.93/82.55 eprover: CPU time limit exceeded, terminating % 87.01/84.56 eprover: CPU time limit exceeded, terminating % 89.05/86.58 eprover: CPU time limit exceeded, terminating % 91.14/88.59 eprover: CPU time limit exceeded, terminating % 93.20/90.61 eprover: CPU time limit exceeded, terminating % 95.30/92.62 eprover: CPU time limit exceeded, terminating % 97.33/94.64 eprover: CPU time limit exceeded, terminating % 99.44/96.65 eprover: CPU time limit exceeded, terminating % 101.52/98.67 eprover: CPU time limit exceeded, terminating % 103.61/100.68 eprover: CPU time limit exceeded, terminating % 105.68/102.70 eprover: CPU time limit exceeded, terminating % 107.75/104.71 eprover: CPU time limit exceeded, terminating % 109.85/106.73 eprover: CPU time limit exceeded, terminating % 111.87/108.74 eprover: CPU time limit exceeded, terminating % 114.01/110.75 eprover: CPU time limit exceeded, terminating % 116.08/112.77 eprover: CPU time limit exceeded, terminating % 118.13/114.78 eprover: CPU time limit exceeded, terminating % 120.23/116.79 eprover: CPU time limit exceeded, terminating % 122.29/118.81 eprover: CPU time limit exceeded, terminating % 124.40/120.82 eprover: CPU time limit exceeded, terminating % 126.47/122.84 eprover: CPU time limit exceeded, terminating % 128.49/124.85 eprover: CPU time limit exceeded, terminating % 130.63/126.87 eprover: CPU time limit exceeded, terminating % 132.71/128.88 eprover: CPU time limit exceeded, terminating % 134.74/130.90 eprover: CPU time limit exceeded, terminating % 136.81/132.91 eprover: CPU time limit exceeded, terminating % 138.93/134.93 eprover: CPU time limit exceeded, terminating % 140.94/136.94 eprover: CPU time limit exceeded, terminating % 143.07/138.96 eprover: CPU time limit exceeded, terminating % 145.17/140.97 eprover: CPU time limit exceeded, terminating % 147.24/142.98 eprover: CPU time limit exceeded, terminating % 149.29/145.00 eprover: CPU time limit exceeded, terminating % 151.36/147.01 eprover: CPU time limit exceeded, terminating % 153.41/149.03 eprover: CPU time limit exceeded, terminating % 155.56/151.04 eprover: CPU time limit exceeded, terminating % 157.61/153.05 eprover: CPU time limit exceeded, terminating % 159.65/155.06 eprover: CPU time limit exceeded, terminating % 161.75/157.07 eprover: CPU time limit exceeded, terminating % 163.81/159.08 eprover: CPU time limit exceeded, terminating % 165.89/161.09 eprover: CPU time limit exceeded, terminating % 167.94/163.10 eprover: CPU time limit exceeded, terminating % 170.01/165.11 eprover: CPU time limit exceeded, terminating % 172.07/167.13 eprover: CPU time limit exceeded, terminating % 174.20/169.14 eprover: CPU time limit exceeded, terminating % 176.28/171.16 eprover: CPU time limit exceeded, terminating % 178.33/173.19 eprover: CPU time limit exceeded, terminating % 180.38/175.20 eprover: CPU time limit exceeded, terminating % 182.48/177.22 eprover: CPU time limit exceeded, terminating % 184.54/179.24 eprover: CPU time limit exceeded, terminating % 186.54/181.25 eprover: CPU time limit exceeded, terminating % 188.67/183.26 eprover: CPU time limit exceeded, terminating % 190.73/185.28 eprover: CPU time limit exceeded, terminating % 192.76/187.30 eprover: CPU time limit exceeded, terminating % 194.82/189.32 eprover: CPU time limit exceeded, terminating % 196.92/191.34 eprover: CPU time limit exceeded, terminating % 199.03/193.35 eprover: CPU time limit exceeded, terminating % 201.05/195.38 eprover: CPU time limit exceeded, terminating % 203.13/197.40 eprover: CPU time limit exceeded, terminating % 205.19/199.42 eprover: CPU time limit exceeded, terminating % 207.26/201.43 eprover: CPU time limit exceeded, terminating % 209.31/203.45 eprover: CPU time limit exceeded, terminating % 211.37/205.46 eprover: CPU time limit exceeded, terminating % 213.48/207.47 eprover: CPU time limit exceeded, terminating % 215.57/209.48 eprover: CPU time limit exceeded, terminating % 217.58/211.49 eprover: CPU time limit exceeded, terminating % 219.66/213.51 eprover: CPU time limit exceeded, terminating % 221.74/215.52 eprover: CPU time limit exceeded, terminating % 223.82/217.53 eprover: CPU time limit exceeded, terminating % 225.88/219.54 eprover: CPU time limit exceeded, terminating % 227.97/221.55 eprover: CPU time limit exceeded, terminating % 230.00/223.56 eprover: CPU time limit exceeded, terminating % 232.04/225.57 eprover: CPU time limit exceeded, terminating % 234.10/227.58 eprover: CPU time limit exceeded, terminating % 236.17/229.60 eprover: CPU time limit exceeded, terminating % 238.24/231.61 eprover: CPU time limit exceeded, terminating % 240.38/233.62 eprover: CPU time limit exceeded, terminating % 242.42/235.64 eprover: CPU time limit exceeded, terminating % 244.49/237.65 eprover: CPU time limit exceeded, terminating % 246.57/239.66 eprover: CPU time limit exceeded, terminating % 248.60/241.68 eprover: CPU time limit exceeded, terminating % 250.76/243.70 eprover: CPU time limit exceeded, terminating % 252.82/245.71 eprover: CPU time limit exceeded, terminating % 254.87/247.72 eprover: CPU time limit exceeded, terminating % 256.94/249.74 eprover: CPU time limit exceeded, terminating % 259.03/251.75 eprover: CPU time limit exceeded, terminating % 261.07/253.76 eprover: CPU time limit exceeded, terminating % 263.10/255.78 eprover: CPU time limit exceeded, terminating % 265.19/257.79 eprover: CPU time limit exceeded, terminating % 267.31/259.80 eprover: CPU time limit exceeded, terminating % 269.39/261.82 eprover: CPU time limit exceeded, terminating % 271.45/263.83 eprover: CPU time limit exceeded, terminating % 273.55/265.85 eprover: CPU time limit exceeded, terminating % 275.57/267.86 eprover: CPU time limit exceeded, terminating % 277.65/269.87 eprover: CPU time limit exceeded, terminating % 279.75/271.88 eprover: CPU time limit exceeded, terminating % 281.87/273.91 eprover: CPU time limit exceeded, terminating % 283.93/275.92 eprover: CPU time limit exceeded, terminating % 285.99/277.94 eprover: CPU time limit exceeded, terminating % 288.03/279.96 eprover: CPU time limit exceeded, terminating % 290.14/281.98 eprover: CPU time limit exceeded, terminating % 292.16/283.99 eprover: CPU time limit exceeded, terminating % 294.23/286.00 eprover: CPU time limit exceeded, terminating % 296.37/288.01 eprover: CPU time limit exceeded, terminating % 298.42/290.03 eprover: CPU time limit exceeded, terminating % 300.11/291.63 eprover: CPU time limit exceeded, terminating % 300.11/291.64 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------