%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV423-1.050 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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:00 EDT 2022 % Result : Timeout 287.20s 284.32s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWV423-1.050 : TPTP v8.1.0. Released v3.5.0. % 0.06/0.12 % Command : run_infinox %s % 0.13/0.34 % Computer : n017.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Tue Jun 14 21:32:54 EDT 2022 % 0.13/0.34 % CPUTime : % 2.63/2.79 eprover: CPU time limit exceeded, terminating % 4.65/4.80 eprover: CPU time limit exceeded, terminating % 6.70/6.81 eprover: CPU time limit exceeded, terminating % 8.67/8.82 eprover: CPU time limit exceeded, terminating % 10.76/10.83 eprover: CPU time limit exceeded, terminating % 12.76/12.84 eprover: CPU time limit exceeded, terminating % 14.82/14.85 eprover: CPU time limit exceeded, terminating % 16.81/16.86 eprover: CPU time limit exceeded, terminating % 18.88/18.87 eprover: CPU time limit exceeded, terminating % 20.93/20.88 eprover: CPU time limit exceeded, terminating % 22.93/22.90 eprover: CPU time limit exceeded, terminating % 24.96/24.91 eprover: CPU time limit exceeded, terminating % 26.95/26.92 eprover: CPU time limit exceeded, terminating % 28.99/28.93 eprover: CPU time limit exceeded, terminating % 31.10/30.94 eprover: CPU time limit exceeded, terminating % 33.14/32.95 eprover: CPU time limit exceeded, terminating % 35.13/34.96 eprover: CPU time limit exceeded, terminating % 37.21/36.97 eprover: CPU time limit exceeded, terminating % 39.22/38.98 eprover: CPU time limit exceeded, terminating % 41.27/40.99 eprover: CPU time limit exceeded, terminating % 43.27/43.00 eprover: CPU time limit exceeded, terminating % 45.33/45.01 eprover: CPU time limit exceeded, terminating % 47.36/47.02 eprover: CPU time limit exceeded, terminating % 49.35/49.03 eprover: CPU time limit exceeded, terminating % 51.39/51.04 eprover: CPU time limit exceeded, terminating % 53.49/53.05 eprover: CPU time limit exceeded, terminating % 55.52/55.07 eprover: CPU time limit exceeded, terminating % 57.53/57.08 eprover: CPU time limit exceeded, terminating % 59.54/59.09 eprover: CPU time limit exceeded, terminating % 61.58/61.10 eprover: CPU time limit exceeded, terminating % 63.64/63.11 eprover: CPU time limit exceeded, terminating % 65.62/65.12 eprover: CPU time limit exceeded, terminating % 67.72/67.13 eprover: CPU time limit exceeded, terminating % 69.70/69.14 eprover: CPU time limit exceeded, terminating % 71.79/71.15 eprover: CPU time limit exceeded, terminating % 73.81/73.16 eprover: CPU time limit exceeded, terminating % 75.82/75.17 eprover: CPU time limit exceeded, terminating % 77.86/77.18 eprover: CPU time limit exceeded, terminating % 79.92/79.19 eprover: CPU time limit exceeded, terminating % 81.89/81.20 eprover: CPU time limit exceeded, terminating % 83.98/83.21 eprover: CPU time limit exceeded, terminating % 85.97/85.21 eprover: CPU time limit exceeded, terminating % 88.03/87.22 eprover: CPU time limit exceeded, terminating % 90.05/89.23 eprover: CPU time limit exceeded, terminating % 92.03/91.25 eprover: CPU time limit exceeded, terminating % 94.13/93.26 eprover: CPU time limit exceeded, terminating % 96.14/95.27 eprover: CPU time limit exceeded, terminating % 98.14/97.28 eprover: CPU time limit exceeded, terminating % 100.19/99.32 eprover: CPU time limit exceeded, terminating % 102.23/101.33 eprover: CPU time limit exceeded, terminating % 104.24/103.34 eprover: CPU time limit exceeded, terminating % 106.28/105.35 eprover: CPU time limit exceeded, terminating % 108.32/107.37 eprover: CPU time limit exceeded, terminating % 110.36/109.38 eprover: CPU time limit exceeded, terminating % 112.41/111.44 eprover: CPU time limit exceeded, terminating % 114.44/113.45 eprover: CPU time limit exceeded, terminating % 116.43/115.47 eprover: CPU time limit exceeded, terminating % 118.44/117.48 eprover: CPU time limit exceeded, terminating % 120.53/119.49 eprover: CPU time limit exceeded, terminating % 122.55/121.50 eprover: CPU time limit exceeded, terminating % 124.58/123.52 eprover: CPU time limit exceeded, terminating % 126.60/125.53 eprover: CPU time limit exceeded, terminating % 128.59/127.54 eprover: CPU time limit exceeded, terminating % 130.66/129.54 eprover: CPU time limit exceeded, terminating % 132.71/131.55 eprover: CPU time limit exceeded, terminating % 134.76/133.56 eprover: CPU time limit exceeded, terminating % 136.75/135.57 eprover: CPU time limit exceeded, terminating % 138.77/137.58 eprover: CPU time limit exceeded, terminating % 140.84/139.59 eprover: CPU time limit exceeded, terminating % 142.86/141.60 eprover: CPU time limit exceeded, terminating % 144.83/143.61 eprover: CPU time limit exceeded, terminating % 146.88/145.62 eprover: CPU time limit exceeded, terminating % 148.93/147.63 eprover: CPU time limit exceeded, terminating % 150.98/149.63 eprover: CPU time limit exceeded, terminating % 153.04/151.64 eprover: CPU time limit exceeded, terminating % 154.98/153.65 eprover: CPU time limit exceeded, terminating % 157.07/155.66 eprover: CPU time limit exceeded, terminating % 159.08/157.67 eprover: CPU time limit exceeded, terminating % 161.13/159.68 eprover: CPU time limit exceeded, terminating % 163.13/161.69 eprover: CPU time limit exceeded, terminating % 165.14/163.70 eprover: CPU time limit exceeded, terminating % 167.21/165.71 eprover: CPU time limit exceeded, terminating % 169.24/167.72 eprover: CPU time limit exceeded, terminating % 171.28/169.72 eprover: CPU time limit exceeded, terminating % 173.32/171.73 eprover: CPU time limit exceeded, terminating % 175.30/173.74 eprover: CPU time limit exceeded, terminating % 177.36/175.75 eprover: CPU time limit exceeded, terminating % 179.41/177.76 eprover: CPU time limit exceeded, terminating % 181.45/179.77 eprover: CPU time limit exceeded, terminating % 183.49/181.78 eprover: CPU time limit exceeded, terminating % 185.47/183.79 eprover: CPU time limit exceeded, terminating % 187.55/185.80 eprover: CPU time limit exceeded, terminating % 189.50/187.81 eprover: CPU time limit exceeded, terminating % 191.61/189.82 eprover: CPU time limit exceeded, terminating % 193.67/191.83 eprover: CPU time limit exceeded, terminating % 195.70/193.84 eprover: CPU time limit exceeded, terminating % 197.71/195.85 eprover: CPU time limit exceeded, terminating % 199.73/197.86 eprover: CPU time limit exceeded, terminating % 201.79/199.87 eprover: CPU time limit exceeded, terminating % 203.81/201.88 eprover: CPU time limit exceeded, terminating % 205.87/203.89 eprover: CPU time limit exceeded, terminating % 207.89/205.90 eprover: CPU time limit exceeded, terminating % 209.90/207.92 eprover: CPU time limit exceeded, terminating % 211.96/209.93 eprover: CPU time limit exceeded, terminating % 213.91/211.94 eprover: CPU time limit exceeded, terminating % 216.02/213.95 eprover: CPU time limit exceeded, terminating % 218.00/215.96 eprover: CPU time limit exceeded, terminating % 220.08/217.97 eprover: CPU time limit exceeded, terminating % 222.10/219.98 eprover: CPU time limit exceeded, terminating % 224.14/221.99 eprover: CPU time limit exceeded, terminating % 226.17/224.00 eprover: CPU time limit exceeded, terminating % 228.19/226.01 eprover: CPU time limit exceeded, terminating % 230.26/228.02 eprover: CPU time limit exceeded, terminating % 232.25/230.03 eprover: CPU time limit exceeded, terminating % 234.26/232.04 eprover: CPU time limit exceeded, terminating % 236.35/234.05 eprover: CPU time limit exceeded, terminating % 238.39/236.06 eprover: CPU time limit exceeded, terminating % 240.40/238.07 eprover: CPU time limit exceeded, terminating % 242.43/240.08 eprover: CPU time limit exceeded, terminating % 244.46/242.09 eprover: CPU time limit exceeded, terminating % 246.51/244.10 eprover: CPU time limit exceeded, terminating % 248.57/246.11 eprover: CPU time limit exceeded, terminating % 250.60/248.12 eprover: CPU time limit exceeded, terminating % 252.62/250.13 eprover: CPU time limit exceeded, terminating % 254.63/252.14 eprover: CPU time limit exceeded, terminating % 256.68/254.15 eprover: CPU time limit exceeded, terminating % 258.72/256.16 eprover: CPU time limit exceeded, terminating % 260.78/258.18 eprover: CPU time limit exceeded, terminating % 262.78/260.19 eprover: CPU time limit exceeded, terminating % 264.83/262.20 eprover: CPU time limit exceeded, terminating % 266.88/264.21 eprover: CPU time limit exceeded, terminating % 268.89/266.22 eprover: CPU time limit exceeded, terminating % 270.94/268.23 eprover: CPU time limit exceeded, terminating % 272.94/270.24 eprover: CPU time limit exceeded, terminating % 275.02/272.25 eprover: CPU time limit exceeded, terminating % 277.04/274.26 eprover: CPU time limit exceeded, terminating % 279.05/276.27 eprover: CPU time limit exceeded, terminating % 281.10/278.28 eprover: CPU time limit exceeded, terminating % 283.08/280.30 eprover: CPU time limit exceeded, terminating % 285.16/282.31 eprover: CPU time limit exceeded, terminating % 287.20/284.32 eprover: CPU time limit exceeded, terminating % 289.25/286.33 eprover: CPU time limit exceeded, terminating % 291.20/288.34 eprover: CPU time limit exceeded, terminating % 293.24/290.35 eprover: CPU time limit exceeded, terminating % 295.32/292.36 eprover: CPU time limit exceeded, terminating % 297.36/294.37 eprover: CPU time limit exceeded, terminating % 299.36/296.38 eprover: CPU time limit exceeded, terminating % 300.06/297.02 eprover: CPU time limit exceeded, terminating % 300.06/297.03 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------