%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM783+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n014.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:44 EDT 2022 % Result : Timeout 287.52s 277.65s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : NUM783+4 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.32 % Computer : n014.cluster.edu % 0.12/0.32 % Model : x86_64 x86_64 % 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.32 % Memory : 8042.1875MB % 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.32 % CPULimit : 300 % 0.12/0.32 % WCLimit : 600 % 0.12/0.32 % DateTime : Thu Jul 7 14:03:52 EDT 2022 % 0.12/0.33 % CPUTime : % 4.32/4.41 eprover: CPU time limit exceeded, terminating % 6.37/6.42 eprover: CPU time limit exceeded, terminating % 8.44/8.43 eprover: CPU time limit exceeded, terminating % 10.51/10.44 eprover: CPU time limit exceeded, terminating % 12.58/12.45 eprover: CPU time limit exceeded, terminating % 14.67/14.46 eprover: CPU time limit exceeded, terminating % 16.75/16.47 eprover: CPU time limit exceeded, terminating % 18.82/18.48 eprover: CPU time limit exceeded, terminating % 20.89/20.49 eprover: CPU time limit exceeded, terminating % 23.06/22.49 eprover: CPU time limit exceeded, terminating % 25.07/24.50 eprover: CPU time limit exceeded, terminating % 27.24/26.51 eprover: CPU time limit exceeded, terminating % 29.31/28.52 eprover: CPU time limit exceeded, terminating % 31.37/30.53 eprover: CPU time limit exceeded, terminating % 33.44/32.54 eprover: CPU time limit exceeded, terminating % 35.53/34.55 eprover: CPU time limit exceeded, terminating % 37.63/36.56 eprover: CPU time limit exceeded, terminating % 39.66/38.57 eprover: CPU time limit exceeded, terminating % 41.75/40.58 eprover: CPU time limit exceeded, terminating % 43.81/42.58 eprover: CPU time limit exceeded, terminating % 45.91/44.59 eprover: CPU time limit exceeded, terminating % 47.97/46.60 eprover: CPU time limit exceeded, terminating % 50.16/48.61 eprover: CPU time limit exceeded, terminating % 52.19/50.62 eprover: CPU time limit exceeded, terminating % 54.30/52.63 eprover: CPU time limit exceeded, terminating % 56.36/54.64 eprover: CPU time limit exceeded, terminating % 58.43/56.65 eprover: CPU time limit exceeded, terminating % 60.49/58.66 eprover: CPU time limit exceeded, terminating % 62.56/60.67 eprover: CPU time limit exceeded, terminating % 64.71/62.68 eprover: CPU time limit exceeded, terminating % 66.72/64.69 eprover: CPU time limit exceeded, terminating % 68.86/66.69 eprover: CPU time limit exceeded, terminating % 70.94/68.70 eprover: CPU time limit exceeded, terminating % 73.03/70.71 eprover: CPU time limit exceeded, terminating % 75.10/72.72 eprover: CPU time limit exceeded, terminating % 77.15/74.73 eprover: CPU time limit exceeded, terminating % 79.24/76.74 eprover: CPU time limit exceeded, terminating % 81.34/78.75 eprover: CPU time limit exceeded, terminating % 83.42/80.76 eprover: CPU time limit exceeded, terminating % 85.48/82.77 eprover: CPU time limit exceeded, terminating % 87.62/84.78 eprover: CPU time limit exceeded, terminating % 89.62/86.78 eprover: CPU time limit exceeded, terminating % 91.77/88.79 eprover: CPU time limit exceeded, terminating % 93.87/90.80 eprover: CPU time limit exceeded, terminating % 95.94/92.81 eprover: CPU time limit exceeded, terminating % 97.99/94.82 eprover: CPU time limit exceeded, terminating % 100.10/96.83 eprover: CPU time limit exceeded, terminating % 102.13/98.84 eprover: CPU time limit exceeded, terminating % 104.24/100.85 eprover: CPU time limit exceeded, terminating % 106.29/102.86 eprover: CPU time limit exceeded, terminating % 108.41/104.87 eprover: CPU time limit exceeded, terminating % 110.44/106.87 eprover: CPU time limit exceeded, terminating % 112.55/108.88 eprover: CPU time limit exceeded, terminating % 114.61/110.89 eprover: CPU time limit exceeded, terminating % 116.71/112.90 eprover: CPU time limit exceeded, terminating % 118.85/114.91 eprover: CPU time limit exceeded, terminating % 120.92/116.92 eprover: CPU time limit exceeded, terminating % 122.98/118.93 eprover: CPU time limit exceeded, terminating % 125.07/120.94 eprover: CPU time limit exceeded, terminating % 127.13/122.95 eprover: CPU time limit exceeded, terminating % 129.22/124.96 eprover: CPU time limit exceeded, terminating % 131.32/126.97 eprover: CPU time limit exceeded, terminating % 133.36/128.98 eprover: CPU time limit exceeded, terminating % 135.52/130.99 eprover: CPU time limit exceeded, terminating % 137.51/132.99 eprover: CPU time limit exceeded, terminating % 139.65/135.00 eprover: CPU time limit exceeded, terminating % 141.77/137.01 eprover: CPU time limit exceeded, terminating % 143.84/139.02 eprover: CPU time limit exceeded, terminating % 145.90/141.03 eprover: CPU time limit exceeded, terminating % 147.96/143.04 eprover: CPU time limit exceeded, terminating % 150.08/145.05 eprover: CPU time limit exceeded, terminating % 152.13/147.06 eprover: CPU time limit exceeded, terminating % 154.23/149.07 eprover: CPU time limit exceeded, terminating % 156.25/151.08 eprover: CPU time limit exceeded, terminating % 158.38/153.08 eprover: CPU time limit exceeded, terminating % 160.50/155.09 eprover: CPU time limit exceeded, terminating % 162.52/157.10 eprover: CPU time limit exceeded, terminating % 164.67/159.11 eprover: CPU time limit exceeded, terminating % 166.71/161.12 eprover: CPU time limit exceeded, terminating % 168.82/163.13 eprover: CPU time limit exceeded, terminating % 170.86/165.14 eprover: CPU time limit exceeded, terminating % 172.95/167.15 eprover: CPU time limit exceeded, terminating % 175.07/169.16 eprover: CPU time limit exceeded, terminating % 177.11/171.17 eprover: CPU time limit exceeded, terminating % 179.19/173.18 eprover: CPU time limit exceeded, terminating % 181.26/175.18 eprover: CPU time limit exceeded, terminating % 183.41/177.19 eprover: CPU time limit exceeded, terminating % 185.49/179.20 eprover: CPU time limit exceeded, terminating % 187.55/181.21 eprover: CPU time limit exceeded, terminating % 189.65/183.22 eprover: CPU time limit exceeded, terminating % 191.75/185.23 eprover: CPU time limit exceeded, terminating % 193.82/187.24 eprover: CPU time limit exceeded, terminating % 195.89/189.25 eprover: CPU time limit exceeded, terminating % 197.93/191.26 eprover: CPU time limit exceeded, terminating % 200.03/193.27 eprover: CPU time limit exceeded, terminating % 202.16/195.27 eprover: CPU time limit exceeded, terminating % 204.18/197.28 eprover: CPU time limit exceeded, terminating % 206.33/199.29 eprover: CPU time limit exceeded, terminating % 208.34/201.30 eprover: CPU time limit exceeded, terminating % 210.50/203.31 eprover: CPU time limit exceeded, terminating % 212.58/205.32 eprover: CPU time limit exceeded, terminating % 214.63/207.33 eprover: CPU time limit exceeded, terminating % 216.68/209.34 eprover: CPU time limit exceeded, terminating % 218.79/211.35 eprover: CPU time limit exceeded, terminating % 220.87/213.36 eprover: CPU time limit exceeded, terminating % 222.92/215.37 eprover: CPU time limit exceeded, terminating % 225.00/217.37 eprover: CPU time limit exceeded, terminating % 227.14/219.38 eprover: CPU time limit exceeded, terminating % 229.24/221.39 eprover: CPU time limit exceeded, terminating % 231.25/223.40 eprover: CPU time limit exceeded, terminating % 233.38/225.41 eprover: CPU time limit exceeded, terminating % 235.47/227.42 eprover: CPU time limit exceeded, terminating % 237.52/229.43 eprover: CPU time limit exceeded, terminating % 239.62/231.44 eprover: CPU time limit exceeded, terminating % 241.70/233.45 eprover: CPU time limit exceeded, terminating % 243.79/235.46 eprover: CPU time limit exceeded, terminating % 245.90/237.47 eprover: CPU time limit exceeded, terminating % 247.94/239.47 eprover: CPU time limit exceeded, terminating % 250.07/241.48 eprover: CPU time limit exceeded, terminating % 252.09/243.49 eprover: CPU time limit exceeded, terminating % 254.24/245.50 eprover: CPU time limit exceeded, terminating % 256.24/247.51 eprover: CPU time limit exceeded, terminating % 258.37/249.52 eprover: CPU time limit exceeded, terminating % 260.46/251.53 eprover: CPU time limit exceeded, terminating % 262.51/253.54 eprover: CPU time limit exceeded, terminating % 264.60/255.55 eprover: CPU time limit exceeded, terminating % 266.69/257.56 eprover: CPU time limit exceeded, terminating % 268.75/259.56 eprover: CPU time limit exceeded, terminating % 270.85/261.57 eprover: CPU time limit exceeded, terminating % 272.91/263.58 eprover: CPU time limit exceeded, terminating % 275.05/265.59 eprover: CPU time limit exceeded, terminating % 277.16/267.60 eprover: CPU time limit exceeded, terminating % 279.23/269.61 eprover: CPU time limit exceeded, terminating % 281.28/271.62 eprover: CPU time limit exceeded, terminating % 283.39/273.63 eprover: CPU time limit exceeded, terminating % 285.43/275.64 eprover: CPU time limit exceeded, terminating % 287.52/277.65 eprover: CPU time limit exceeded, terminating % 289.63/279.65 eprover: CPU time limit exceeded, terminating % 291.67/281.66 eprover: CPU time limit exceeded, terminating % 293.78/283.67 eprover: CPU time limit exceeded, terminating % 295.90/285.68 eprover: CPU time limit exceeded, terminating % 297.97/287.69 eprover: CPU time limit exceeded, terminating % 299.99/289.70 eprover: CPU time limit exceeded, terminating % 300.09/289.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------