%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV595-1 : TPTP v8.1.0. Released v4.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n009.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 : Wed Jul 20 18:50:59 EDT 2022 % Result : Timeout 287.54s 284.48s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV595-1 : TPTP v8.1.0. Released v4.1.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n009.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.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jun 16 00:37:22 EDT 2022 % 0.12/0.33 % CPUTime : % 2.59/2.76 eprover: CPU time limit exceeded, terminating % 4.63/4.77 eprover: CPU time limit exceeded, terminating % 6.64/6.78 eprover: CPU time limit exceeded, terminating % 8.69/8.79 eprover: CPU time limit exceeded, terminating % 10.67/10.81 eprover: CPU time limit exceeded, terminating % 12.75/12.82 eprover: CPU time limit exceeded, terminating % 14.80/14.83 eprover: CPU time limit exceeded, terminating % 16.80/16.84 eprover: CPU time limit exceeded, terminating % 18.85/18.85 eprover: CPU time limit exceeded, terminating % 20.88/20.86 eprover: CPU time limit exceeded, terminating % 22.88/22.87 eprover: CPU time limit exceeded, terminating % 24.95/24.89 eprover: CPU time limit exceeded, terminating % 26.96/26.90 eprover: CPU time limit exceeded, terminating % 28.99/28.91 eprover: CPU time limit exceeded, terminating % 31.07/30.92 eprover: CPU time limit exceeded, terminating % 33.12/32.93 eprover: CPU time limit exceeded, terminating % 35.13/35.01 eprover: CPU time limit exceeded, terminating % 37.10/37.03 eprover: CPU time limit exceeded, terminating % 39.22/39.04 eprover: CPU time limit exceeded, terminating % 41.17/41.05 eprover: CPU time limit exceeded, terminating % 43.27/43.06 eprover: CPU time limit exceeded, terminating % 45.29/45.08 eprover: CPU time limit exceeded, terminating % 47.35/47.09 eprover: CPU time limit exceeded, terminating % 49.38/49.10 eprover: CPU time limit exceeded, terminating % 51.36/51.11 eprover: CPU time limit exceeded, terminating % 53.40/53.12 eprover: CPU time limit exceeded, terminating % 55.48/55.14 eprover: CPU time limit exceeded, terminating % 57.49/57.15 eprover: CPU time limit exceeded, terminating % 59.55/59.16 eprover: CPU time limit exceeded, terminating % 61.60/61.17 eprover: CPU time limit exceeded, terminating % 63.62/63.18 eprover: CPU time limit exceeded, terminating % 65.66/65.19 eprover: CPU time limit exceeded, terminating % 67.67/67.20 eprover: CPU time limit exceeded, terminating % 69.70/69.22 eprover: CPU time limit exceeded, terminating % 71.79/71.23 eprover: CPU time limit exceeded, terminating % 73.80/73.24 eprover: CPU time limit exceeded, terminating % 75.82/75.25 eprover: CPU time limit exceeded, terminating % 77.88/77.26 eprover: CPU time limit exceeded, terminating % 79.88/79.27 eprover: CPU time limit exceeded, terminating % 81.94/81.28 eprover: CPU time limit exceeded, terminating % 83.98/83.30 eprover: CPU time limit exceeded, terminating % 85.99/85.31 eprover: CPU time limit exceeded, terminating % 88.00/87.32 eprover: CPU time limit exceeded, terminating % 90.07/89.33 eprover: CPU time limit exceeded, terminating % 92.12/91.34 eprover: CPU time limit exceeded, terminating % 94.15/93.35 eprover: CPU time limit exceeded, terminating % 96.20/95.36 eprover: CPU time limit exceeded, terminating % 98.22/97.38 eprover: CPU time limit exceeded, terminating % 100.26/99.39 eprover: CPU time limit exceeded, terminating % 102.26/101.40 eprover: CPU time limit exceeded, terminating % 104.34/103.41 eprover: CPU time limit exceeded, terminating % 106.33/105.42 eprover: CPU time limit exceeded, terminating % 108.43/107.44 eprover: CPU time limit exceeded, terminating % 110.44/109.45 eprover: CPU time limit exceeded, terminating % 112.49/111.46 eprover: CPU time limit exceeded, terminating % 114.48/113.47 eprover: CPU time limit exceeded, terminating % 116.54/115.49 eprover: CPU time limit exceeded, terminating % 118.58/117.50 eprover: CPU time limit exceeded, terminating % 120.61/119.51 eprover: CPU time limit exceeded, terminating % 122.67/121.52 eprover: CPU time limit exceeded, terminating % 124.72/123.54 eprover: CPU time limit exceeded, terminating % 126.66/125.55 eprover: CPU time limit exceeded, terminating % 128.77/127.56 eprover: CPU time limit exceeded, terminating % 130.79/129.57 eprover: CPU time limit exceeded, terminating % 132.86/131.58 eprover: CPU time limit exceeded, terminating % 134.82/133.59 eprover: CPU time limit exceeded, terminating % 136.93/135.61 eprover: CPU time limit exceeded, terminating % 138.93/137.62 eprover: CPU time limit exceeded, terminating % 140.93/139.63 eprover: CPU time limit exceeded, terminating % 143.03/141.64 eprover: CPU time limit exceeded, terminating % 145.05/143.65 eprover: CPU time limit exceeded, terminating % 147.09/145.67 eprover: CPU time limit exceeded, terminating % 149.10/147.68 eprover: CPU time limit exceeded, terminating % 151.15/149.69 eprover: CPU time limit exceeded, terminating % 153.16/151.70 eprover: CPU time limit exceeded, terminating % 155.22/153.71 eprover: CPU time limit exceeded, terminating % 157.23/155.72 eprover: CPU time limit exceeded, terminating % 159.30/157.73 eprover: CPU time limit exceeded, terminating % 161.35/159.75 eprover: CPU time limit exceeded, terminating % 163.39/161.76 eprover: CPU time limit exceeded, terminating % 165.39/163.77 eprover: CPU time limit exceeded, terminating % 167.43/165.78 eprover: CPU time limit exceeded, terminating % 169.49/167.79 eprover: CPU time limit exceeded, terminating % 171.49/169.81 eprover: CPU time limit exceeded, terminating % 173.56/171.82 eprover: CPU time limit exceeded, terminating % 175.60/173.83 eprover: CPU time limit exceeded, terminating % 177.61/175.84 eprover: CPU time limit exceeded, terminating % 179.66/177.86 eprover: CPU time limit exceeded, terminating % 181.72/179.87 eprover: CPU time limit exceeded, terminating % 183.74/181.88 eprover: CPU time limit exceeded, terminating % 185.77/183.89 eprover: CPU time limit exceeded, terminating % 187.81/185.91 eprover: CPU time limit exceeded, terminating % 189.82/187.92 eprover: CPU time limit exceeded, terminating % 191.87/189.93 eprover: CPU time limit exceeded, terminating % 193.89/191.94 eprover: CPU time limit exceeded, terminating % 195.94/193.95 eprover: CPU time limit exceeded, terminating % 197.99/195.97 eprover: CPU time limit exceeded, terminating % 200.01/197.98 eprover: CPU time limit exceeded, terminating % 202.06/199.99 eprover: CPU time limit exceeded, terminating % 204.05/202.01 eprover: CPU time limit exceeded, terminating % 206.09/204.02 eprover: CPU time limit exceeded, terminating % 208.15/206.03 eprover: CPU time limit exceeded, terminating % 210.13/208.04 eprover: CPU time limit exceeded, terminating % 212.23/210.05 eprover: CPU time limit exceeded, terminating % 214.28/212.06 eprover: CPU time limit exceeded, terminating % 216.31/214.08 eprover: CPU time limit exceeded, terminating % 218.31/216.09 eprover: CPU time limit exceeded, terminating % 220.35/218.10 eprover: CPU time limit exceeded, terminating % 222.36/220.11 eprover: CPU time limit exceeded, terminating % 224.41/222.12 eprover: CPU time limit exceeded, terminating % 226.39/224.14 eprover: CPU time limit exceeded, terminating % 228.51/226.15 eprover: CPU time limit exceeded, terminating % 230.55/228.16 eprover: CPU time limit exceeded, terminating % 232.58/230.17 eprover: CPU time limit exceeded, terminating % 234.64/232.18 eprover: CPU time limit exceeded, terminating % 236.61/234.19 eprover: CPU time limit exceeded, terminating % 238.67/236.21 eprover: CPU time limit exceeded, terminating % 240.67/238.22 eprover: CPU time limit exceeded, terminating % 242.72/240.23 eprover: CPU time limit exceeded, terminating % 244.70/242.24 eprover: CPU time limit exceeded, terminating % 246.82/244.25 eprover: CPU time limit exceeded, terminating % 248.85/246.26 eprover: CPU time limit exceeded, terminating % 250.89/248.27 eprover: CPU time limit exceeded, terminating % 252.94/250.29 eprover: CPU time limit exceeded, terminating % 254.94/252.30 eprover: CPU time limit exceeded, terminating % 256.99/254.31 eprover: CPU time limit exceeded, terminating % 259.02/256.32 eprover: CPU time limit exceeded, terminating % 261.10/258.33 eprover: CPU time limit exceeded, terminating % 263.11/260.34 eprover: CPU time limit exceeded, terminating % 265.15/262.35 eprover: CPU time limit exceeded, terminating % 267.15/264.36 eprover: CPU time limit exceeded, terminating % 269.22/266.38 eprover: CPU time limit exceeded, terminating % 271.24/268.39 eprover: CPU time limit exceeded, terminating % 273.27/270.40 eprover: CPU time limit exceeded, terminating % 275.28/272.41 eprover: CPU time limit exceeded, terminating % 277.37/274.42 eprover: CPU time limit exceeded, terminating % 279.40/276.44 eprover: CPU time limit exceeded, terminating % 281.40/278.45 eprover: CPU time limit exceeded, terminating % 283.47/280.46 eprover: CPU time limit exceeded, terminating % 285.51/282.47 eprover: CPU time limit exceeded, terminating % 287.54/284.48 eprover: CPU time limit exceeded, terminating % 289.55/286.50 eprover: CPU time limit exceeded, terminating % 291.59/288.51 eprover: CPU time limit exceeded, terminating % 293.64/290.52 eprover: CPU time limit exceeded, terminating % 295.64/292.53 eprover: CPU time limit exceeded, terminating % 297.66/294.55 eprover: CPU time limit exceeded, terminating % 299.76/296.56 eprover: CPU time limit exceeded, terminating % 300.03/296.83 eprover: CPU time limit exceeded, terminating % 300.03/296.84 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------