%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW391+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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 : Thu Jul 21 00:24:43 EDT 2022 % Result : Timeout 287.85s 243.69s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.11 % Problem : SWW391+1 : TPTP v8.1.0. Released v5.2.0. % 0.10/0.12 % Command : run_infinox %s % 0.11/0.33 % Computer : n026.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 : Sun Jun 5 08:50:44 EDT 2022 % 0.11/0.33 % CPUTime : % 54.48/54.20 eprover: CPU time limit exceeded, terminating % 57.05/56.22 eprover: CPU time limit exceeded, terminating % 59.49/58.24 eprover: CPU time limit exceeded, terminating % 61.95/60.26 eprover: CPU time limit exceeded, terminating % 64.40/62.27 eprover: CPU time limit exceeded, terminating % 66.88/64.29 eprover: CPU time limit exceeded, terminating % 69.41/66.31 eprover: CPU time limit exceeded, terminating % 71.82/68.33 eprover: CPU time limit exceeded, terminating % 74.28/70.35 eprover: CPU time limit exceeded, terminating % 76.70/72.36 eprover: CPU time limit exceeded, terminating % 79.20/74.38 eprover: CPU time limit exceeded, terminating % 81.63/76.40 eprover: CPU time limit exceeded, terminating % 84.10/78.42 eprover: CPU time limit exceeded, terminating % 86.61/80.43 eprover: CPU time limit exceeded, terminating % 89.03/82.45 eprover: CPU time limit exceeded, terminating % 91.47/84.47 eprover: CPU time limit exceeded, terminating % 93.91/86.49 eprover: CPU time limit exceeded, terminating % 96.43/88.51 eprover: CPU time limit exceeded, terminating % 98.91/90.52 eprover: CPU time limit exceeded, terminating % 101.37/92.54 eprover: CPU time limit exceeded, terminating % 103.78/94.56 eprover: CPU time limit exceeded, terminating % 106.22/96.58 eprover: CPU time limit exceeded, terminating % 108.72/98.60 eprover: CPU time limit exceeded, terminating % 111.18/100.61 eprover: CPU time limit exceeded, terminating % 113.63/102.63 eprover: CPU time limit exceeded, terminating % 116.08/104.65 eprover: CPU time limit exceeded, terminating % 118.51/106.66 eprover: CPU time limit exceeded, terminating % 121.04/108.68 eprover: CPU time limit exceeded, terminating % 123.56/110.70 eprover: CPU time limit exceeded, terminating % 125.91/112.71 eprover: CPU time limit exceeded, terminating % 128.47/114.73 eprover: CPU time limit exceeded, terminating % 130.95/116.74 eprover: CPU time limit exceeded, terminating % 133.41/118.76 eprover: CPU time limit exceeded, terminating % 135.85/120.78 eprover: CPU time limit exceeded, terminating % 138.40/122.79 eprover: CPU time limit exceeded, terminating % 140.85/124.81 eprover: CPU time limit exceeded, terminating % 143.34/126.82 eprover: CPU time limit exceeded, terminating % 145.81/128.84 eprover: CPU time limit exceeded, terminating % 148.26/130.86 eprover: CPU time limit exceeded, terminating % 150.73/132.87 eprover: CPU time limit exceeded, terminating % 153.27/134.90 eprover: CPU time limit exceeded, terminating % 155.78/136.91 eprover: CPU time limit exceeded, terminating % 158.26/138.94 eprover: CPU time limit exceeded, terminating % 160.70/140.96 eprover: CPU time limit exceeded, terminating % 163.22/142.98 eprover: CPU time limit exceeded, terminating % 165.54/144.99 eprover: CPU time limit exceeded, terminating % 168.04/147.01 eprover: CPU time limit exceeded, terminating % 170.50/149.02 eprover: CPU time limit exceeded, terminating % 172.98/151.04 eprover: CPU time limit exceeded, terminating % 175.37/153.05 eprover: CPU time limit exceeded, terminating % 177.82/155.07 eprover: CPU time limit exceeded, terminating % 180.30/157.08 eprover: CPU time limit exceeded, terminating % 182.70/159.09 eprover: CPU time limit exceeded, terminating % 185.23/161.11 eprover: CPU time limit exceeded, terminating % 187.71/163.12 eprover: CPU time limit exceeded, terminating % 192.10/165.13 eprover: CPU time limit exceeded, terminating % 194.55/167.15 eprover: CPU time limit exceeded, terminating % 197.01/169.16 eprover: CPU time limit exceeded, terminating % 199.47/171.18 eprover: CPU time limit exceeded, terminating % 201.97/173.19 eprover: CPU time limit exceeded, terminating % 204.39/175.21 eprover: CPU time limit exceeded, terminating % 206.86/177.22 eprover: CPU time limit exceeded, terminating % 209.33/179.23 eprover: CPU time limit exceeded, terminating % 211.73/181.25 eprover: CPU time limit exceeded, terminating % 214.17/183.26 eprover: CPU time limit exceeded, terminating % 216.58/185.28 eprover: CPU time limit exceeded, terminating % 219.16/187.29 eprover: CPU time limit exceeded, terminating % 221.62/189.30 eprover: CPU time limit exceeded, terminating % 224.08/191.32 eprover: CPU time limit exceeded, terminating % 226.57/193.33 eprover: CPU time limit exceeded, terminating % 228.98/195.35 eprover: CPU time limit exceeded, terminating % 231.42/197.36 eprover: CPU time limit exceeded, terminating % 233.90/199.37 eprover: CPU time limit exceeded, terminating % 236.28/201.39 eprover: CPU time limit exceeded, terminating % 238.75/203.40 eprover: CPU time limit exceeded, terminating % 241.11/205.42 eprover: CPU time limit exceeded, terminating % 243.62/207.43 eprover: CPU time limit exceeded, terminating % 246.09/209.44 eprover: CPU time limit exceeded, terminating % 248.55/211.46 eprover: CPU time limit exceeded, terminating % 251.03/213.47 eprover: CPU time limit exceeded, terminating % 253.42/215.49 eprover: CPU time limit exceeded, terminating % 255.88/217.50 eprover: CPU time limit exceeded, terminating % 258.39/219.52 eprover: CPU time limit exceeded, terminating % 260.84/221.53 eprover: CPU time limit exceeded, terminating % 263.27/223.55 eprover: CPU time limit exceeded, terminating % 265.74/225.56 eprover: CPU time limit exceeded, terminating % 268.18/227.58 eprover: CPU time limit exceeded, terminating % 270.66/229.59 eprover: CPU time limit exceeded, terminating % 273.07/231.60 eprover: CPU time limit exceeded, terminating % 275.56/233.62 eprover: CPU time limit exceeded, terminating % 278.04/235.63 eprover: CPU time limit exceeded, terminating % 280.48/237.65 eprover: CPU time limit exceeded, terminating % 282.90/239.66 eprover: CPU time limit exceeded, terminating % 285.46/241.68 eprover: CPU time limit exceeded, terminating % 287.85/243.69 eprover: CPU time limit exceeded, terminating % 290.37/245.70 eprover: CPU time limit exceeded, terminating % 292.84/247.72 eprover: CPU time limit exceeded, terminating % 295.26/249.73 eprover: CPU time limit exceeded, terminating % 297.69/251.75 eprover: CPU time limit exceeded, terminating % 300.03/253.59 eprover: CPU time limit exceeded, terminating % 300.03/253.61 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------