%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CSR034-10 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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 : Fri Jul 15 03:34:21 EDT 2022 % Result : Timeout 287.92s 259.61s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : CSR034-10 : TPTP v8.1.0. Released v7.3.0. % 0.06/0.13 % Command : run_infinox %s % 0.12/0.33 % Computer : n018.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.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Fri Jun 10 21:40:54 EDT 2022 % 0.12/0.34 % CPUTime : % 12.08/12.05 eprover: CPU time limit exceeded, terminating % 14.29/14.06 eprover: CPU time limit exceeded, terminating % 16.51/16.07 eprover: CPU time limit exceeded, terminating % 18.74/18.08 eprover: CPU time limit exceeded, terminating % 20.98/20.09 eprover: CPU time limit exceeded, terminating % 23.27/22.11 eprover: CPU time limit exceeded, terminating % 25.48/24.12 eprover: CPU time limit exceeded, terminating % 27.73/26.13 eprover: CPU time limit exceeded, terminating % 29.98/28.14 eprover: CPU time limit exceeded, terminating % 32.20/30.15 eprover: CPU time limit exceeded, terminating % 34.44/32.16 eprover: CPU time limit exceeded, terminating % 36.61/34.18 eprover: CPU time limit exceeded, terminating % 38.93/36.19 eprover: CPU time limit exceeded, terminating % 41.10/38.20 eprover: CPU time limit exceeded, terminating % 43.42/40.21 eprover: CPU time limit exceeded, terminating % 45.67/42.22 eprover: CPU time limit exceeded, terminating % 47.89/44.23 eprover: CPU time limit exceeded, terminating % 50.15/46.25 eprover: CPU time limit exceeded, terminating % 52.37/48.26 eprover: CPU time limit exceeded, terminating % 54.62/50.27 eprover: CPU time limit exceeded, terminating % 56.83/52.28 eprover: CPU time limit exceeded, terminating % 59.16/54.29 eprover: CPU time limit exceeded, terminating % 61.42/56.31 eprover: CPU time limit exceeded, terminating % 63.64/58.32 eprover: CPU time limit exceeded, terminating % 65.90/60.33 eprover: CPU time limit exceeded, terminating % 68.08/62.34 eprover: CPU time limit exceeded, terminating % 70.35/64.35 eprover: CPU time limit exceeded, terminating % 72.56/66.36 eprover: CPU time limit exceeded, terminating % 74.79/68.37 eprover: CPU time limit exceeded, terminating % 77.03/70.38 eprover: CPU time limit exceeded, terminating % 79.28/72.40 eprover: CPU time limit exceeded, terminating % 81.58/74.41 eprover: CPU time limit exceeded, terminating % 83.82/76.42 eprover: CPU time limit exceeded, terminating % 86.05/78.43 eprover: CPU time limit exceeded, terminating % 88.28/80.44 eprover: CPU time limit exceeded, terminating % 90.58/82.46 eprover: CPU time limit exceeded, terminating % 92.81/84.47 eprover: CPU time limit exceeded, terminating % 95.09/86.48 eprover: CPU time limit exceeded, terminating % 97.26/88.49 eprover: CPU time limit exceeded, terminating % 99.58/90.51 eprover: CPU time limit exceeded, terminating % 101.82/92.52 eprover: CPU time limit exceeded, terminating % 104.05/94.53 eprover: CPU time limit exceeded, terminating % 106.28/96.54 eprover: CPU time limit exceeded, terminating % 108.53/98.55 eprover: CPU time limit exceeded, terminating % 110.76/100.57 eprover: CPU time limit exceeded, terminating % 112.97/102.58 eprover: CPU time limit exceeded, terminating % 115.20/104.59 eprover: CPU time limit exceeded, terminating % 117.51/106.60 eprover: CPU time limit exceeded, terminating % 119.75/108.61 eprover: CPU time limit exceeded, terminating % 121.98/110.62 eprover: CPU time limit exceeded, terminating % 124.20/112.64 eprover: CPU time limit exceeded, terminating % 126.42/114.65 eprover: CPU time limit exceeded, terminating % 128.66/116.66 eprover: CPU time limit exceeded, terminating % 130.87/118.67 eprover: CPU time limit exceeded, terminating % 133.10/120.69 eprover: CPU time limit exceeded, terminating % 135.42/122.70 eprover: CPU time limit exceeded, terminating % 137.68/124.71 eprover: CPU time limit exceeded, terminating % 139.91/126.72 eprover: CPU time limit exceeded, terminating % 142.17/128.74 eprover: CPU time limit exceeded, terminating % 144.39/130.75 eprover: CPU time limit exceeded, terminating % 146.62/132.76 eprover: CPU time limit exceeded, terminating % 148.85/134.78 eprover: CPU time limit exceeded, terminating % 151.08/136.79 eprover: CPU time limit exceeded, terminating % 153.39/138.80 eprover: CPU time limit exceeded, terminating % 155.60/140.82 eprover: CPU time limit exceeded, terminating % 157.86/142.83 eprover: CPU time limit exceeded, terminating % 160.08/144.84 eprover: CPU time limit exceeded, terminating % 162.31/146.85 eprover: CPU time limit exceeded, terminating % 164.53/148.87 eprover: CPU time limit exceeded, terminating % 166.79/150.88 eprover: CPU time limit exceeded, terminating % 168.99/152.89 eprover: CPU time limit exceeded, terminating % 171.32/154.90 eprover: CPU time limit exceeded, terminating % 173.55/156.92 eprover: CPU time limit exceeded, terminating % 175.77/158.93 eprover: CPU time limit exceeded, terminating % 178.00/160.94 eprover: CPU time limit exceeded, terminating % 180.23/162.95 eprover: CPU time limit exceeded, terminating % 182.41/164.96 eprover: CPU time limit exceeded, terminating % 184.68/166.97 eprover: CPU time limit exceeded, terminating % 186.92/168.98 eprover: CPU time limit exceeded, terminating % 189.14/170.99 eprover: CPU time limit exceeded, terminating % 191.40/173.01 eprover: CPU time limit exceeded, terminating % 193.70/175.02 eprover: CPU time limit exceeded, terminating % 195.96/177.03 eprover: CPU time limit exceeded, terminating % 198.17/179.05 eprover: CPU time limit exceeded, terminating % 200.42/181.06 eprover: CPU time limit exceeded, terminating % 202.62/183.07 eprover: CPU time limit exceeded, terminating % 204.93/185.08 eprover: CPU time limit exceeded, terminating % 207.17/187.10 eprover: CPU time limit exceeded, terminating % 209.42/189.11 eprover: CPU time limit exceeded, terminating % 211.66/191.12 eprover: CPU time limit exceeded, terminating % 213.86/193.13 eprover: CPU time limit exceeded, terminating % 216.12/195.14 eprover: CPU time limit exceeded, terminating % 218.34/197.16 eprover: CPU time limit exceeded, terminating % 220.59/199.17 eprover: CPU time limit exceeded, terminating % 222.82/201.18 eprover: CPU time limit exceeded, terminating % 225.14/203.20 eprover: CPU time limit exceeded, terminating % 227.36/205.22 eprover: CPU time limit exceeded, terminating % 229.60/207.23 eprover: CPU time limit exceeded, terminating % 231.83/209.25 eprover: CPU time limit exceeded, terminating % 234.06/211.26 eprover: CPU time limit exceeded, terminating % 236.34/213.30 eprover: CPU time limit exceeded, terminating % 238.51/215.31 eprover: CPU time limit exceeded, terminating % 240.81/217.33 eprover: CPU time limit exceeded, terminating % 243.09/219.34 eprover: CPU time limit exceeded, terminating % 245.30/221.35 eprover: CPU time limit exceeded, terminating % 247.52/223.37 eprover: CPU time limit exceeded, terminating % 249.80/225.39 eprover: CPU time limit exceeded, terminating % 251.94/227.41 eprover: CPU time limit exceeded, terminating % 254.28/229.42 eprover: CPU time limit exceeded, terminating % 256.47/231.43 eprover: CPU time limit exceeded, terminating % 258.74/233.44 eprover: CPU time limit exceeded, terminating % 260.98/235.46 eprover: CPU time limit exceeded, terminating % 263.21/237.47 eprover: CPU time limit exceeded, terminating % 265.50/239.48 eprover: CPU time limit exceeded, terminating % 267.70/241.49 eprover: CPU time limit exceeded, terminating % 269.98/243.51 eprover: CPU time limit exceeded, terminating % 272.23/245.52 eprover: CPU time limit exceeded, terminating % 274.46/247.53 eprover: CPU time limit exceeded, terminating % 276.71/249.54 eprover: CPU time limit exceeded, terminating % 278.94/251.56 eprover: CPU time limit exceeded, terminating % 281.19/253.57 eprover: CPU time limit exceeded, terminating % 283.38/255.58 eprover: CPU time limit exceeded, terminating % 285.69/257.59 eprover: CPU time limit exceeded, terminating % 287.92/259.61 eprover: CPU time limit exceeded, terminating % 290.18/261.62 eprover: CPU time limit exceeded, terminating % 292.42/263.64 eprover: CPU time limit exceeded, terminating % 294.61/265.65 eprover: CPU time limit exceeded, terminating % 296.86/267.66 eprover: CPU time limit exceeded, terminating % 299.08/269.67 eprover: CPU time limit exceeded, terminating % 300.20/270.53 eprover: CPU time limit exceeded, terminating % 300.20/270.54 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------