%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW477+3 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n027.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:59 EDT 2022 % Result : Timeout 286.78s 268.74s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW477+3 : TPTP v8.1.0. Released v5.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n027.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % 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 : Sun Jun 5 17:35:23 EDT 2022 % 0.12/0.34 % CPUTime : % 14.49/14.52 eprover: CPU time limit exceeded, terminating % 16.69/16.54 eprover: CPU time limit exceeded, terminating % 18.86/18.55 eprover: CPU time limit exceeded, terminating % 20.96/20.56 eprover: CPU time limit exceeded, terminating % 23.16/22.57 eprover: CPU time limit exceeded, terminating % 25.33/24.58 eprover: CPU time limit exceeded, terminating % 27.56/26.59 eprover: CPU time limit exceeded, terminating % 29.72/28.61 eprover: CPU time limit exceeded, terminating % 31.91/30.62 eprover: CPU time limit exceeded, terminating % 34.01/32.63 eprover: CPU time limit exceeded, terminating % 36.18/34.64 eprover: CPU time limit exceeded, terminating % 38.42/36.65 eprover: CPU time limit exceeded, terminating % 40.57/38.67 eprover: CPU time limit exceeded, terminating % 42.73/40.68 eprover: CPU time limit exceeded, terminating % 44.88/42.69 eprover: CPU time limit exceeded, terminating % 47.04/44.70 eprover: CPU time limit exceeded, terminating % 49.23/46.71 eprover: CPU time limit exceeded, terminating % 51.42/48.73 eprover: CPU time limit exceeded, terminating % 53.56/50.74 eprover: CPU time limit exceeded, terminating % 55.74/52.75 eprover: CPU time limit exceeded, terminating % 57.90/54.76 eprover: CPU time limit exceeded, terminating % 60.03/56.78 eprover: CPU time limit exceeded, terminating % 62.21/58.79 eprover: CPU time limit exceeded, terminating % 64.38/60.80 eprover: CPU time limit exceeded, terminating % 66.53/62.82 eprover: CPU time limit exceeded, terminating % 68.72/64.83 eprover: CPU time limit exceeded, terminating % 70.87/66.85 eprover: CPU time limit exceeded, terminating % 73.04/68.86 eprover: CPU time limit exceeded, terminating % 75.17/70.88 eprover: CPU time limit exceeded, terminating % 77.29/72.90 eprover: CPU time limit exceeded, terminating % 79.46/74.91 eprover: CPU time limit exceeded, terminating % 81.62/76.92 eprover: CPU time limit exceeded, terminating % 83.80/78.95 eprover: CPU time limit exceeded, terminating % 85.96/80.96 eprover: CPU time limit exceeded, terminating % 88.11/82.98 eprover: CPU time limit exceeded, terminating % 90.22/85.00 eprover: CPU time limit exceeded, terminating % 92.42/87.01 eprover: CPU time limit exceeded, terminating % 94.60/89.03 eprover: CPU time limit exceeded, terminating % 96.76/91.04 eprover: CPU time limit exceeded, terminating % 98.91/93.06 eprover: CPU time limit exceeded, terminating % 101.04/95.08 eprover: CPU time limit exceeded, terminating % 103.26/97.09 eprover: CPU time limit exceeded, terminating % 105.43/99.11 eprover: CPU time limit exceeded, terminating % 107.57/101.12 eprover: CPU time limit exceeded, terminating % 109.68/103.14 eprover: CPU time limit exceeded, terminating % 111.88/105.15 eprover: CPU time limit exceeded, terminating % 114.08/107.16 eprover: CPU time limit exceeded, terminating % 116.20/109.18 eprover: CPU time limit exceeded, terminating % 118.41/111.21 eprover: CPU time limit exceeded, terminating % 120.57/113.26 eprover: CPU time limit exceeded, terminating % 122.68/115.30 eprover: CPU time limit exceeded, terminating % 124.92/117.33 eprover: CPU time limit exceeded, terminating % 127.01/119.37 eprover: CPU time limit exceeded, terminating % 129.12/121.41 eprover: CPU time limit exceeded, terminating % 131.23/123.46 eprover: CPU time limit exceeded, terminating % 133.36/125.49 eprover: CPU time limit exceeded, terminating % 135.52/127.52 eprover: CPU time limit exceeded, terminating % 137.60/129.56 eprover: CPU time limit exceeded, terminating % 139.72/131.61 eprover: CPU time limit exceeded, terminating % 141.83/133.65 eprover: CPU time limit exceeded, terminating % 143.91/135.70 eprover: CPU time limit exceeded, terminating % 146.13/137.76 eprover: CPU time limit exceeded, terminating % 148.28/139.80 eprover: CPU time limit exceeded, terminating % 150.42/141.85 eprover: CPU time limit exceeded, terminating % 152.60/143.89 eprover: CPU time limit exceeded, terminating % 154.75/145.94 eprover: CPU time limit exceeded, terminating % 156.88/147.97 eprover: CPU time limit exceeded, terminating % 159.03/150.00 eprover: CPU time limit exceeded, terminating % 161.20/152.01 eprover: CPU time limit exceeded, terminating % 163.36/154.02 eprover: CPU time limit exceeded, terminating % 165.52/156.03 eprover: CPU time limit exceeded, terminating % 167.65/158.04 eprover: CPU time limit exceeded, terminating % 169.84/160.05 eprover: CPU time limit exceeded, terminating % 171.98/162.06 eprover: CPU time limit exceeded, terminating % 174.13/164.07 eprover: CPU time limit exceeded, terminating % 176.35/166.08 eprover: CPU time limit exceeded, terminating % 178.54/168.10 eprover: CPU time limit exceeded, terminating % 180.66/170.11 eprover: CPU time limit exceeded, terminating % 182.86/172.12 eprover: CPU time limit exceeded, terminating % 185.03/174.14 eprover: CPU time limit exceeded, terminating % 187.17/176.15 eprover: CPU time limit exceeded, terminating % 189.31/178.16 eprover: CPU time limit exceeded, terminating % 191.49/180.17 eprover: CPU time limit exceeded, terminating % 193.69/182.18 eprover: CPU time limit exceeded, terminating % 195.85/184.19 eprover: CPU time limit exceeded, terminating % 198.00/186.21 eprover: CPU time limit exceeded, terminating % 200.16/188.22 eprover: CPU time limit exceeded, terminating % 202.32/190.23 eprover: CPU time limit exceeded, terminating % 204.49/192.24 eprover: CPU time limit exceeded, terminating % 206.69/194.25 eprover: CPU time limit exceeded, terminating % 208.80/196.27 eprover: CPU time limit exceeded, terminating % 210.98/198.28 eprover: CPU time limit exceeded, terminating % 213.16/200.29 eprover: CPU time limit exceeded, terminating % 215.27/202.30 eprover: CPU time limit exceeded, terminating % 217.49/204.31 eprover: CPU time limit exceeded, terminating % 219.67/206.32 eprover: CPU time limit exceeded, terminating % 221.80/208.34 eprover: CPU time limit exceeded, terminating % 223.99/210.35 eprover: CPU time limit exceeded, terminating % 226.12/212.36 eprover: CPU time limit exceeded, terminating % 228.34/214.37 eprover: CPU time limit exceeded, terminating % 230.52/216.38 eprover: CPU time limit exceeded, terminating % 232.64/218.39 eprover: CPU time limit exceeded, terminating % 234.83/220.40 eprover: CPU time limit exceeded, terminating % 236.98/222.42 eprover: CPU time limit exceeded, terminating % 239.16/224.43 eprover: CPU time limit exceeded, terminating % 241.35/226.44 eprover: CPU time limit exceeded, terminating % 243.38/228.45 eprover: CPU time limit exceeded, terminating % 245.63/230.47 eprover: CPU time limit exceeded, terminating % 247.82/232.48 eprover: CPU time limit exceeded, terminating % 249.96/234.50 eprover: CPU time limit exceeded, terminating % 252.14/236.52 eprover: CPU time limit exceeded, terminating % 254.25/238.54 eprover: CPU time limit exceeded, terminating % 256.42/240.55 eprover: CPU time limit exceeded, terminating % 258.63/242.56 eprover: CPU time limit exceeded, terminating % 260.78/244.57 eprover: CPU time limit exceeded, terminating % 262.92/246.58 eprover: CPU time limit exceeded, terminating % 265.14/248.60 eprover: CPU time limit exceeded, terminating % 267.25/250.61 eprover: CPU time limit exceeded, terminating % 269.43/252.62 eprover: CPU time limit exceeded, terminating % 271.66/254.64 eprover: CPU time limit exceeded, terminating % 273.81/256.67 eprover: CPU time limit exceeded, terminating % 275.95/258.68 eprover: CPU time limit exceeded, terminating % 278.10/260.69 eprover: CPU time limit exceeded, terminating % 280.30/262.70 eprover: CPU time limit exceeded, terminating % 282.44/264.72 eprover: CPU time limit exceeded, terminating % 284.63/266.73 eprover: CPU time limit exceeded, terminating % 286.78/268.74 eprover: CPU time limit exceeded, terminating % 288.85/270.76 eprover: CPU time limit exceeded, terminating % 291.02/272.77 eprover: CPU time limit exceeded, terminating % 293.29/274.78 eprover: CPU time limit exceeded, terminating % 295.48/276.79 eprover: CPU time limit exceeded, terminating % 297.61/278.80 eprover: CPU time limit exceeded, terminating % 299.79/280.82 eprover: CPU time limit exceeded, terminating % 300.07/281.08 eprover: CPU time limit exceeded, terminating % 300.07/281.10 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------