%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM758+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:28 EDT 2022 % Result : Timeout 285.84s 279.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : NUM758+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.35 % Computer : n021.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Thu Jul 7 19:36:34 EDT 2022 % 0.13/0.35 % CPUTime : % 3.78/3.96 eprover: CPU time limit exceeded, terminating % 5.85/5.98 eprover: CPU time limit exceeded, terminating % 7.95/7.99 eprover: CPU time limit exceeded, terminating % 10.00/10.00 eprover: CPU time limit exceeded, terminating % 12.13/12.01 eprover: CPU time limit exceeded, terminating % 14.20/14.02 eprover: CPU time limit exceeded, terminating % 16.23/16.03 eprover: CPU time limit exceeded, terminating % 18.32/18.04 eprover: CPU time limit exceeded, terminating % 20.41/20.05 eprover: CPU time limit exceeded, terminating % 22.46/22.06 eprover: CPU time limit exceeded, terminating % 24.50/24.07 eprover: CPU time limit exceeded, terminating % 26.57/26.08 eprover: CPU time limit exceeded, terminating % 28.67/28.09 eprover: CPU time limit exceeded, terminating % 30.80/30.11 eprover: CPU time limit exceeded, terminating % 32.88/32.13 eprover: CPU time limit exceeded, terminating % 34.94/34.13 eprover: CPU time limit exceeded, terminating % 36.95/36.14 eprover: CPU time limit exceeded, terminating % 39.01/38.15 eprover: CPU time limit exceeded, terminating % 41.09/40.16 eprover: CPU time limit exceeded, terminating % 43.14/42.18 eprover: CPU time limit exceeded, terminating % 45.18/44.19 eprover: CPU time limit exceeded, terminating % 47.30/46.19 eprover: CPU time limit exceeded, terminating % 49.29/48.20 eprover: CPU time limit exceeded, terminating % 51.45/50.21 eprover: CPU time limit exceeded, terminating % 53.49/52.22 eprover: CPU time limit exceeded, terminating % 55.53/54.23 eprover: CPU time limit exceeded, terminating % 57.59/56.24 eprover: CPU time limit exceeded, terminating % 59.63/58.25 eprover: CPU time limit exceeded, terminating % 61.73/60.26 eprover: CPU time limit exceeded, terminating % 63.73/62.27 eprover: CPU time limit exceeded, terminating % 65.83/64.28 eprover: CPU time limit exceeded, terminating % 67.90/66.30 eprover: CPU time limit exceeded, terminating % 69.95/68.31 eprover: CPU time limit exceeded, terminating % 72.00/70.32 eprover: CPU time limit exceeded, terminating % 74.05/72.32 eprover: CPU time limit exceeded, terminating % 76.09/74.33 eprover: CPU time limit exceeded, terminating % 78.16/76.34 eprover: CPU time limit exceeded, terminating % 80.21/78.36 eprover: CPU time limit exceeded, terminating % 82.26/80.37 eprover: CPU time limit exceeded, terminating % 84.28/82.38 eprover: CPU time limit exceeded, terminating % 86.35/84.39 eprover: CPU time limit exceeded, terminating % 88.38/86.40 eprover: CPU time limit exceeded, terminating % 90.52/88.41 eprover: CPU time limit exceeded, terminating % 92.57/90.42 eprover: CPU time limit exceeded, terminating % 94.60/92.43 eprover: CPU time limit exceeded, terminating % 96.66/94.44 eprover: CPU time limit exceeded, terminating % 98.71/96.45 eprover: CPU time limit exceeded, terminating % 100.73/98.46 eprover: CPU time limit exceeded, terminating % 102.79/100.47 eprover: CPU time limit exceeded, terminating % 104.85/102.48 eprover: CPU time limit exceeded, terminating % 106.86/104.49 eprover: CPU time limit exceeded, terminating % 109.02/106.50 eprover: CPU time limit exceeded, terminating % 111.00/108.51 eprover: CPU time limit exceeded, terminating % 113.14/110.52 eprover: CPU time limit exceeded, terminating % 115.16/112.53 eprover: CPU time limit exceeded, terminating % 117.23/114.54 eprover: CPU time limit exceeded, terminating % 119.26/116.55 eprover: CPU time limit exceeded, terminating % 121.30/118.56 eprover: CPU time limit exceeded, terminating % 123.37/120.57 eprover: CPU time limit exceeded, terminating % 125.43/122.58 eprover: CPU time limit exceeded, terminating % 127.55/124.59 eprover: CPU time limit exceeded, terminating % 129.61/126.60 eprover: CPU time limit exceeded, terminating % 131.56/128.61 eprover: CPU time limit exceeded, terminating % 133.70/130.62 eprover: CPU time limit exceeded, terminating % 135.75/132.63 eprover: CPU time limit exceeded, terminating % 137.81/134.64 eprover: CPU time limit exceeded, terminating % 139.86/136.65 eprover: CPU time limit exceeded, terminating % 141.89/138.66 eprover: CPU time limit exceeded, terminating % 143.93/140.67 eprover: CPU time limit exceeded, terminating % 145.99/142.68 eprover: CPU time limit exceeded, terminating % 148.12/144.69 eprover: CPU time limit exceeded, terminating % 150.17/146.70 eprover: CPU time limit exceeded, terminating % 152.23/148.71 eprover: CPU time limit exceeded, terminating % 154.26/150.72 eprover: CPU time limit exceeded, terminating % 156.32/152.73 eprover: CPU time limit exceeded, terminating % 158.37/154.74 eprover: CPU time limit exceeded, terminating % 160.42/156.75 eprover: CPU time limit exceeded, terminating % 162.49/158.76 eprover: CPU time limit exceeded, terminating % 164.53/160.77 eprover: CPU time limit exceeded, terminating % 166.57/162.78 eprover: CPU time limit exceeded, terminating % 168.62/164.79 eprover: CPU time limit exceeded, terminating % 170.67/166.80 eprover: CPU time limit exceeded, terminating % 172.81/168.81 eprover: CPU time limit exceeded, terminating % 174.84/170.82 eprover: CPU time limit exceeded, terminating % 176.91/172.83 eprover: CPU time limit exceeded, terminating % 178.95/174.84 eprover: CPU time limit exceeded, terminating % 180.97/176.85 eprover: CPU time limit exceeded, terminating % 183.03/178.86 eprover: CPU time limit exceeded, terminating % 185.09/180.87 eprover: CPU time limit exceeded, terminating % 187.12/182.88 eprover: CPU time limit exceeded, terminating % 189.18/184.89 eprover: CPU time limit exceeded, terminating % 191.23/186.90 eprover: CPU time limit exceeded, terminating % 193.36/188.91 eprover: CPU time limit exceeded, terminating % 195.41/190.92 eprover: CPU time limit exceeded, terminating % 197.45/192.93 eprover: CPU time limit exceeded, terminating % 199.52/194.94 eprover: CPU time limit exceeded, terminating % 201.55/196.95 eprover: CPU time limit exceeded, terminating % 203.61/198.96 eprover: CPU time limit exceeded, terminating % 205.66/200.97 eprover: CPU time limit exceeded, terminating % 207.77/202.98 eprover: CPU time limit exceeded, terminating % 209.83/204.99 eprover: CPU time limit exceeded, terminating % 211.88/207.00 eprover: CPU time limit exceeded, terminating % 213.92/209.01 eprover: CPU time limit exceeded, terminating % 215.97/211.02 eprover: CPU time limit exceeded, terminating % 218.04/213.03 eprover: CPU time limit exceeded, terminating % 220.07/215.04 eprover: CPU time limit exceeded, terminating % 222.11/217.05 eprover: CPU time limit exceeded, terminating % 224.17/219.06 eprover: CPU time limit exceeded, terminating % 226.23/221.07 eprover: CPU time limit exceeded, terminating % 228.24/223.08 eprover: CPU time limit exceeded, terminating % 230.31/225.09 eprover: CPU time limit exceeded, terminating % 232.38/227.10 eprover: CPU time limit exceeded, terminating % 234.50/229.11 eprover: CPU time limit exceeded, terminating % 236.52/231.12 eprover: CPU time limit exceeded, terminating % 238.60/233.13 eprover: CPU time limit exceeded, terminating % 240.67/235.14 eprover: CPU time limit exceeded, terminating % 242.69/237.15 eprover: CPU time limit exceeded, terminating % 244.74/239.16 eprover: CPU time limit exceeded, terminating % 246.84/241.17 eprover: CPU time limit exceeded, terminating % 248.82/243.18 eprover: CPU time limit exceeded, terminating % 250.90/245.19 eprover: CPU time limit exceeded, terminating % 253.01/247.20 eprover: CPU time limit exceeded, terminating % 255.04/249.21 eprover: CPU time limit exceeded, terminating % 257.12/251.22 eprover: CPU time limit exceeded, terminating % 259.17/253.23 eprover: CPU time limit exceeded, terminating % 261.20/255.24 eprover: CPU time limit exceeded, terminating % 263.26/257.25 eprover: CPU time limit exceeded, terminating % 265.33/259.26 eprover: CPU time limit exceeded, terminating % 267.36/261.27 eprover: CPU time limit exceeded, terminating % 269.42/263.28 eprover: CPU time limit exceeded, terminating % 271.52/265.29 eprover: CPU time limit exceeded, terminating % 273.52/267.30 eprover: CPU time limit exceeded, terminating % 275.63/269.31 eprover: CPU time limit exceeded, terminating % 277.66/271.32 eprover: CPU time limit exceeded, terminating % 279.73/273.33 eprover: CPU time limit exceeded, terminating % 281.75/275.34 eprover: CPU time limit exceeded, terminating % 283.83/277.35 eprover: CPU time limit exceeded, terminating % 285.84/279.36 eprover: CPU time limit exceeded, terminating % 287.93/281.37 eprover: CPU time limit exceeded, terminating % 289.94/283.38 eprover: CPU time limit exceeded, terminating % 292.04/285.39 eprover: CPU time limit exceeded, terminating % 294.15/287.40 eprover: CPU time limit exceeded, terminating % 296.22/289.41 eprover: CPU time limit exceeded, terminating % 298.22/291.42 eprover: CPU time limit exceeded, terminating % 300.08/293.19 eprover: CPU time limit exceeded, terminating % 300.08/293.20 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------