%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC167+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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 : Tue Jul 19 20:47:01 EDT 2022 % Result : Timeout 286.28s 284.51s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWC167+1 : TPTP v8.1.0. Released v2.4.0. % 0.07/0.13 % Command : run_infinox %s % 0.14/0.33 % Computer : n011.cluster.edu % 0.14/0.33 % Model : x86_64 x86_64 % 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.33 % Memory : 8042.1875MB % 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.33 % CPULimit : 300 % 0.14/0.33 % WCLimit : 600 % 0.14/0.34 % DateTime : Sun Jun 12 16:10:18 EDT 2022 % 0.14/0.34 % CPUTime : % 2.30/2.51 eprover: CPU time limit exceeded, terminating % 4.28/4.52 eprover: CPU time limit exceeded, terminating % 6.35/6.52 eprover: CPU time limit exceeded, terminating % 8.38/8.59 eprover: CPU time limit exceeded, terminating % 10.33/10.60 eprover: CPU time limit exceeded, terminating % 12.37/12.67 eprover: CPU time limit exceeded, terminating % 14.39/14.68 eprover: CPU time limit exceeded, terminating % 16.40/16.76 eprover: CPU time limit exceeded, terminating % 18.37/18.77 eprover: CPU time limit exceeded, terminating % 20.40/20.86 eprover: CPU time limit exceeded, terminating % 22.45/22.87 eprover: CPU time limit exceeded, terminating % 24.47/24.94 eprover: CPU time limit exceeded, terminating % 26.47/26.95 eprover: CPU time limit exceeded, terminating % 28.50/29.02 eprover: CPU time limit exceeded, terminating % 30.52/31.10 eprover: CPU time limit exceeded, terminating % 32.46/33.17 eprover: CPU time limit exceeded, terminating % 34.48/35.18 eprover: CPU time limit exceeded, terminating % 36.49/37.19 eprover: CPU time limit exceeded, terminating % 38.57/39.20 eprover: CPU time limit exceeded, terminating % 40.59/41.21 eprover: CPU time limit exceeded, terminating % 42.59/43.22 eprover: CPU time limit exceeded, terminating % 44.60/45.24 eprover: CPU time limit exceeded, terminating % 46.59/47.26 eprover: CPU time limit exceeded, terminating % 48.63/49.27 eprover: CPU time limit exceeded, terminating % 50.56/51.28 eprover: CPU time limit exceeded, terminating % 54.47/53.29 eprover: CPU time limit exceeded, terminating % 56.57/55.30 eprover: CPU time limit exceeded, terminating % 58.57/57.31 eprover: CPU time limit exceeded, terminating % 60.58/59.32 eprover: CPU time limit exceeded, terminating % 62.59/61.33 eprover: CPU time limit exceeded, terminating % 64.57/63.34 eprover: CPU time limit exceeded, terminating % 66.59/65.34 eprover: CPU time limit exceeded, terminating % 68.62/67.35 eprover: CPU time limit exceeded, terminating % 70.62/69.36 eprover: CPU time limit exceeded, terminating % 72.61/71.37 eprover: CPU time limit exceeded, terminating % 74.58/73.38 eprover: CPU time limit exceeded, terminating % 76.71/75.39 eprover: CPU time limit exceeded, terminating % 78.71/77.40 eprover: CPU time limit exceeded, terminating % 80.72/79.41 eprover: CPU time limit exceeded, terminating % 82.75/81.42 eprover: CPU time limit exceeded, terminating % 84.74/83.43 eprover: CPU time limit exceeded, terminating % 86.73/85.44 eprover: CPU time limit exceeded, terminating % 88.73/87.45 eprover: CPU time limit exceeded, terminating % 90.77/89.46 eprover: CPU time limit exceeded, terminating % 92.79/91.47 eprover: CPU time limit exceeded, terminating % 94.78/93.48 eprover: CPU time limit exceeded, terminating % 96.80/95.48 eprover: CPU time limit exceeded, terminating % 98.87/97.49 eprover: CPU time limit exceeded, terminating % 100.87/99.50 eprover: CPU time limit exceeded, terminating % 102.89/101.51 eprover: CPU time limit exceeded, terminating % 104.91/103.52 eprover: CPU time limit exceeded, terminating % 106.89/105.53 eprover: CPU time limit exceeded, terminating % 108.91/107.54 eprover: CPU time limit exceeded, terminating % 110.88/109.55 eprover: CPU time limit exceeded, terminating % 112.92/111.56 eprover: CPU time limit exceeded, terminating % 114.93/113.57 eprover: CPU time limit exceeded, terminating % 116.90/115.58 eprover: CPU time limit exceeded, terminating % 119.01/117.59 eprover: CPU time limit exceeded, terminating % 121.01/119.60 eprover: CPU time limit exceeded, terminating % 123.01/121.61 eprover: CPU time limit exceeded, terminating % 125.03/123.62 eprover: CPU time limit exceeded, terminating % 127.05/125.63 eprover: CPU time limit exceeded, terminating % 129.05/127.64 eprover: CPU time limit exceeded, terminating % 131.06/129.65 eprover: CPU time limit exceeded, terminating % 133.03/131.66 eprover: CPU time limit exceeded, terminating % 135.06/133.67 eprover: CPU time limit exceeded, terminating % 137.08/135.68 eprover: CPU time limit exceeded, terminating % 139.06/137.69 eprover: CPU time limit exceeded, terminating % 141.17/139.70 eprover: CPU time limit exceeded, terminating % 143.16/141.71 eprover: CPU time limit exceeded, terminating % 145.20/143.72 eprover: CPU time limit exceeded, terminating % 147.17/145.73 eprover: CPU time limit exceeded, terminating % 149.19/147.74 eprover: CPU time limit exceeded, terminating % 151.20/149.75 eprover: CPU time limit exceeded, terminating % 153.20/151.76 eprover: CPU time limit exceeded, terminating % 155.22/153.77 eprover: CPU time limit exceeded, terminating % 157.23/155.78 eprover: CPU time limit exceeded, terminating % 159.30/157.79 eprover: CPU time limit exceeded, terminating % 161.31/159.80 eprover: CPU time limit exceeded, terminating % 163.31/161.82 eprover: CPU time limit exceeded, terminating % 165.30/163.82 eprover: CPU time limit exceeded, terminating % 167.31/165.83 eprover: CPU time limit exceeded, terminating % 169.34/167.85 eprover: CPU time limit exceeded, terminating % 171.35/169.86 eprover: CPU time limit exceeded, terminating % 173.33/171.87 eprover: CPU time limit exceeded, terminating % 175.36/173.88 eprover: CPU time limit exceeded, terminating % 177.36/175.89 eprover: CPU time limit exceeded, terminating % 179.45/177.90 eprover: CPU time limit exceeded, terminating % 181.44/179.91 eprover: CPU time limit exceeded, terminating % 183.46/181.93 eprover: CPU time limit exceeded, terminating % 185.49/183.94 eprover: CPU time limit exceeded, terminating % 187.47/185.95 eprover: CPU time limit exceeded, terminating % 189.49/187.96 eprover: CPU time limit exceeded, terminating % 191.47/189.97 eprover: CPU time limit exceeded, terminating % 193.53/191.99 eprover: CPU time limit exceeded, terminating % 195.58/194.00 eprover: CPU time limit exceeded, terminating % 197.58/196.02 eprover: CPU time limit exceeded, terminating % 199.58/198.03 eprover: CPU time limit exceeded, terminating % 201.59/200.04 eprover: CPU time limit exceeded, terminating % 203.59/202.06 eprover: CPU time limit exceeded, terminating % 205.56/204.07 eprover: CPU time limit exceeded, terminating % 207.60/206.08 eprover: CPU time limit exceeded, terminating % 209.60/208.09 eprover: CPU time limit exceeded, terminating % 211.69/210.10 eprover: CPU time limit exceeded, terminating % 213.71/212.11 eprover: CPU time limit exceeded, terminating % 215.71/214.12 eprover: CPU time limit exceeded, terminating % 217.72/216.13 eprover: CPU time limit exceeded, terminating % 219.73/218.14 eprover: CPU time limit exceeded, terminating % 221.72/220.15 eprover: CPU time limit exceeded, terminating % 223.71/222.16 eprover: CPU time limit exceeded, terminating % 225.74/224.17 eprover: CPU time limit exceeded, terminating % 227.74/226.19 eprover: CPU time limit exceeded, terminating % 229.82/228.20 eprover: CPU time limit exceeded, terminating % 231.84/230.21 eprover: CPU time limit exceeded, terminating % 233.87/232.22 eprover: CPU time limit exceeded, terminating % 235.85/234.23 eprover: CPU time limit exceeded, terminating % 237.88/236.24 eprover: CPU time limit exceeded, terminating % 239.89/238.25 eprover: CPU time limit exceeded, terminating % 241.86/240.26 eprover: CPU time limit exceeded, terminating % 243.89/242.27 eprover: CPU time limit exceeded, terminating % 245.89/244.28 eprover: CPU time limit exceeded, terminating % 247.98/246.30 eprover: CPU time limit exceeded, terminating % 249.98/248.31 eprover: CPU time limit exceeded, terminating % 252.01/250.32 eprover: CPU time limit exceeded, terminating % 254.02/252.33 eprover: CPU time limit exceeded, terminating % 256.00/254.34 eprover: CPU time limit exceeded, terminating % 258.03/256.35 eprover: CPU time limit exceeded, terminating % 260.02/258.36 eprover: CPU time limit exceeded, terminating % 262.02/260.37 eprover: CPU time limit exceeded, terminating % 264.03/262.38 eprover: CPU time limit exceeded, terminating % 266.04/264.39 eprover: CPU time limit exceeded, terminating % 268.15/266.40 eprover: CPU time limit exceeded, terminating % 270.16/268.42 eprover: CPU time limit exceeded, terminating % 272.15/270.43 eprover: CPU time limit exceeded, terminating % 274.16/272.44 eprover: CPU time limit exceeded, terminating % 276.16/274.45 eprover: CPU time limit exceeded, terminating % 278.18/276.46 eprover: CPU time limit exceeded, terminating % 280.17/278.47 eprover: CPU time limit exceeded, terminating % 282.18/280.48 eprover: CPU time limit exceeded, terminating % 284.26/282.50 eprover: CPU time limit exceeded, terminating % 286.28/284.51 eprover: CPU time limit exceeded, terminating % 288.28/286.52 eprover: CPU time limit exceeded, terminating % 290.31/288.53 eprover: CPU time limit exceeded, terminating % 292.29/290.54 eprover: CPU time limit exceeded, terminating % 294.28/292.56 eprover: CPU time limit exceeded, terminating % 296.29/294.57 eprover: CPU time limit exceeded, terminating % 298.31/296.58 eprover: CPU time limit exceeded, terminating % 300.01/298.22 eprover: CPU time limit exceeded, terminating % 300.01/298.23 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------