%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW474+3 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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:55 EDT 2022 % Result : Timeout 287.13s 271.77s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : SWW474+3 : TPTP v8.1.0. Released v5.3.0. % 0.04/0.15 % Command : run_infinox %s % 0.15/0.36 % Computer : n023.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Sat Jun 4 14:24:25 EDT 2022 % 0.15/0.37 % CPUTime : % 5.97/6.06 eprover: CPU time limit exceeded, terminating % 8.09/8.08 eprover: CPU time limit exceeded, terminating % 10.18/10.09 eprover: CPU time limit exceeded, terminating % 12.36/12.10 eprover: CPU time limit exceeded, terminating % 14.49/14.11 eprover: CPU time limit exceeded, terminating % 16.63/16.13 eprover: CPU time limit exceeded, terminating % 18.76/18.14 eprover: CPU time limit exceeded, terminating % 20.85/20.15 eprover: CPU time limit exceeded, terminating % 23.04/22.17 eprover: CPU time limit exceeded, terminating % 25.15/24.18 eprover: CPU time limit exceeded, terminating % 27.32/26.19 eprover: CPU time limit exceeded, terminating % 29.46/28.20 eprover: CPU time limit exceeded, terminating % 31.59/30.22 eprover: CPU time limit exceeded, terminating % 33.66/32.23 eprover: CPU time limit exceeded, terminating % 35.78/34.24 eprover: CPU time limit exceeded, terminating % 37.99/36.25 eprover: CPU time limit exceeded, terminating % 40.11/38.27 eprover: CPU time limit exceeded, terminating % 42.24/40.28 eprover: CPU time limit exceeded, terminating % 44.35/42.30 eprover: CPU time limit exceeded, terminating % 46.48/44.31 eprover: CPU time limit exceeded, terminating % 48.68/46.32 eprover: CPU time limit exceeded, terminating % 50.79/48.34 eprover: CPU time limit exceeded, terminating % 52.96/50.35 eprover: CPU time limit exceeded, terminating % 55.08/52.37 eprover: CPU time limit exceeded, terminating % 57.19/54.38 eprover: CPU time limit exceeded, terminating % 59.32/56.39 eprover: CPU time limit exceeded, terminating % 61.48/58.41 eprover: CPU time limit exceeded, terminating % 63.57/60.42 eprover: CPU time limit exceeded, terminating % 65.71/62.44 eprover: CPU time limit exceeded, terminating % 67.81/64.45 eprover: CPU time limit exceeded, terminating % 69.98/66.46 eprover: CPU time limit exceeded, terminating % 72.13/68.48 eprover: CPU time limit exceeded, terminating % 74.23/70.49 eprover: CPU time limit exceeded, terminating % 76.34/72.50 eprover: CPU time limit exceeded, terminating % 78.44/74.51 eprover: CPU time limit exceeded, terminating % 80.63/76.53 eprover: CPU time limit exceeded, terminating % 82.79/78.54 eprover: CPU time limit exceeded, terminating % 84.91/80.55 eprover: CPU time limit exceeded, terminating % 87.03/82.56 eprover: CPU time limit exceeded, terminating % 89.16/84.57 eprover: CPU time limit exceeded, terminating % 91.26/86.59 eprover: CPU time limit exceeded, terminating % 93.40/88.60 eprover: CPU time limit exceeded, terminating % 95.50/90.61 eprover: CPU time limit exceeded, terminating % 97.60/92.62 eprover: CPU time limit exceeded, terminating % 99.70/94.64 eprover: CPU time limit exceeded, terminating % 101.91/96.65 eprover: CPU time limit exceeded, terminating % 104.03/98.67 eprover: CPU time limit exceeded, terminating % 106.16/100.68 eprover: CPU time limit exceeded, terminating % 108.27/102.69 eprover: CPU time limit exceeded, terminating % 110.39/104.70 eprover: CPU time limit exceeded, terminating % 112.54/106.72 eprover: CPU time limit exceeded, terminating % 114.63/108.73 eprover: CPU time limit exceeded, terminating % 116.74/110.74 eprover: CPU time limit exceeded, terminating % 118.94/112.75 eprover: CPU time limit exceeded, terminating % 121.03/114.77 eprover: CPU time limit exceeded, terminating % 123.18/116.78 eprover: CPU time limit exceeded, terminating % 125.26/118.79 eprover: CPU time limit exceeded, terminating % 127.44/120.81 eprover: CPU time limit exceeded, terminating % 129.53/122.82 eprover: CPU time limit exceeded, terminating % 131.65/124.84 eprover: CPU time limit exceeded, terminating % 133.84/126.85 eprover: CPU time limit exceeded, terminating % 135.97/128.86 eprover: CPU time limit exceeded, terminating % 138.13/130.88 eprover: CPU time limit exceeded, terminating % 140.21/132.89 eprover: CPU time limit exceeded, terminating % 142.38/134.91 eprover: CPU time limit exceeded, terminating % 144.51/136.92 eprover: CPU time limit exceeded, terminating % 146.66/138.93 eprover: CPU time limit exceeded, terminating % 148.78/140.95 eprover: CPU time limit exceeded, terminating % 150.91/142.96 eprover: CPU time limit exceeded, terminating % 153.03/144.97 eprover: CPU time limit exceeded, terminating % 155.15/146.99 eprover: CPU time limit exceeded, terminating % 157.26/149.00 eprover: CPU time limit exceeded, terminating % 159.38/151.01 eprover: CPU time limit exceeded, terminating % 161.55/153.02 eprover: CPU time limit exceeded, terminating % 163.61/155.04 eprover: CPU time limit exceeded, terminating % 165.79/157.05 eprover: CPU time limit exceeded, terminating % 167.93/159.06 eprover: CPU time limit exceeded, terminating % 170.03/161.07 eprover: CPU time limit exceeded, terminating % 172.16/163.08 eprover: CPU time limit exceeded, terminating % 174.27/165.10 eprover: CPU time limit exceeded, terminating % 176.40/167.11 eprover: CPU time limit exceeded, terminating % 178.54/169.12 eprover: CPU time limit exceeded, terminating % 180.70/171.13 eprover: CPU time limit exceeded, terminating % 182.80/173.15 eprover: CPU time limit exceeded, terminating % 184.89/175.16 eprover: CPU time limit exceeded, terminating % 187.04/177.17 eprover: CPU time limit exceeded, terminating % 189.17/179.18 eprover: CPU time limit exceeded, terminating % 191.32/181.19 eprover: CPU time limit exceeded, terminating % 193.43/183.21 eprover: CPU time limit exceeded, terminating % 195.50/185.22 eprover: CPU time limit exceeded, terminating % 197.66/187.23 eprover: CPU time limit exceeded, terminating % 199.81/189.25 eprover: CPU time limit exceeded, terminating % 201.93/191.26 eprover: CPU time limit exceeded, terminating % 204.10/193.27 eprover: CPU time limit exceeded, terminating % 206.23/195.29 eprover: CPU time limit exceeded, terminating % 208.31/197.30 eprover: CPU time limit exceeded, terminating % 210.46/199.31 eprover: CPU time limit exceeded, terminating % 212.61/201.32 eprover: CPU time limit exceeded, terminating % 214.72/203.34 eprover: CPU time limit exceeded, terminating % 216.81/205.35 eprover: CPU time limit exceeded, terminating % 218.97/207.36 eprover: CPU time limit exceeded, terminating % 221.10/209.37 eprover: CPU time limit exceeded, terminating % 223.18/211.38 eprover: CPU time limit exceeded, terminating % 225.40/213.40 eprover: CPU time limit exceeded, terminating % 227.43/215.41 eprover: CPU time limit exceeded, terminating % 229.65/217.42 eprover: CPU time limit exceeded, terminating % 231.80/219.44 eprover: CPU time limit exceeded, terminating % 233.88/221.45 eprover: CPU time limit exceeded, terminating % 236.02/223.46 eprover: CPU time limit exceeded, terminating % 238.11/225.48 eprover: CPU time limit exceeded, terminating % 240.32/227.49 eprover: CPU time limit exceeded, terminating % 242.45/229.50 eprover: CPU time limit exceeded, terminating % 244.59/231.52 eprover: CPU time limit exceeded, terminating % 246.74/233.53 eprover: CPU time limit exceeded, terminating % 248.81/235.54 eprover: CPU time limit exceeded, terminating % 250.95/237.55 eprover: CPU time limit exceeded, terminating % 253.07/239.57 eprover: CPU time limit exceeded, terminating % 255.23/241.58 eprover: CPU time limit exceeded, terminating % 257.28/243.60 eprover: CPU time limit exceeded, terminating % 259.42/245.61 eprover: CPU time limit exceeded, terminating % 261.62/247.62 eprover: CPU time limit exceeded, terminating % 263.70/249.64 eprover: CPU time limit exceeded, terminating % 265.82/251.65 eprover: CPU time limit exceeded, terminating % 267.99/253.66 eprover: CPU time limit exceeded, terminating % 270.05/255.67 eprover: CPU time limit exceeded, terminating % 272.19/257.69 eprover: CPU time limit exceeded, terminating % 274.37/259.70 eprover: CPU time limit exceeded, terminating % 276.42/261.71 eprover: CPU time limit exceeded, terminating % 278.61/263.73 eprover: CPU time limit exceeded, terminating % 280.73/265.74 eprover: CPU time limit exceeded, terminating % 282.88/267.75 eprover: CPU time limit exceeded, terminating % 284.95/269.76 eprover: CPU time limit exceeded, terminating % 287.13/271.77 eprover: CPU time limit exceeded, terminating % 289.27/273.79 eprover: CPU time limit exceeded, terminating % 291.39/275.80 eprover: CPU time limit exceeded, terminating % 293.51/277.81 eprover: CPU time limit exceeded, terminating % 295.64/279.82 eprover: CPU time limit exceeded, terminating % 297.70/281.83 eprover: CPU time limit exceeded, terminating % 299.86/283.85 eprover: CPU time limit exceeded, terminating % 300.18/284.13 eprover: CPU time limit exceeded, terminating % 300.18/284.15 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------