%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB054+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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 19:04:41 EDT 2022 % Result : Timeout 287.43s 280.54s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : SWB054+1 : TPTP v8.1.0. Released v5.2.0. % 0.08/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n025.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 : Wed Jun 1 14:15:14 EDT 2022 % 0.13/0.35 % CPUTime : % 2.86/3.03 eprover: CPU time limit exceeded, terminating % 4.89/5.04 eprover: CPU time limit exceeded, terminating % 6.88/7.05 eprover: CPU time limit exceeded, terminating % 8.94/9.06 eprover: CPU time limit exceeded, terminating % 11.01/11.08 eprover: CPU time limit exceeded, terminating % 13.05/13.09 eprover: CPU time limit exceeded, terminating % 15.04/15.10 eprover: CPU time limit exceeded, terminating % 17.10/17.11 eprover: CPU time limit exceeded, terminating % 19.12/19.12 eprover: CPU time limit exceeded, terminating % 21.19/21.13 eprover: CPU time limit exceeded, terminating % 23.20/23.14 eprover: CPU time limit exceeded, terminating % 25.22/25.16 eprover: CPU time limit exceeded, terminating % 27.28/27.17 eprover: CPU time limit exceeded, terminating % 29.33/29.18 eprover: CPU time limit exceeded, terminating % 31.33/31.19 eprover: CPU time limit exceeded, terminating % 33.39/33.20 eprover: CPU time limit exceeded, terminating % 35.36/35.21 eprover: CPU time limit exceeded, terminating % 37.48/37.23 eprover: CPU time limit exceeded, terminating % 39.49/39.24 eprover: CPU time limit exceeded, terminating % 41.53/41.25 eprover: CPU time limit exceeded, terminating % 43.54/43.26 eprover: CPU time limit exceeded, terminating % 45.55/45.27 eprover: CPU time limit exceeded, terminating % 47.60/47.28 eprover: CPU time limit exceeded, terminating % 49.71/49.30 eprover: CPU time limit exceeded, terminating % 51.66/51.31 eprover: CPU time limit exceeded, terminating % 53.75/53.32 eprover: CPU time limit exceeded, terminating % 55.82/55.33 eprover: CPU time limit exceeded, terminating % 57.81/57.34 eprover: CPU time limit exceeded, terminating % 59.87/59.36 eprover: CPU time limit exceeded, terminating % 61.87/61.37 eprover: CPU time limit exceeded, terminating % 63.92/63.38 eprover: CPU time limit exceeded, terminating % 65.91/65.39 eprover: CPU time limit exceeded, terminating % 68.02/67.40 eprover: CPU time limit exceeded, terminating % 70.04/69.42 eprover: CPU time limit exceeded, terminating % 72.09/71.43 eprover: CPU time limit exceeded, terminating % 74.14/73.44 eprover: CPU time limit exceeded, terminating % 76.15/75.45 eprover: CPU time limit exceeded, terminating % 78.14/77.46 eprover: CPU time limit exceeded, terminating % 82.17/79.47 eprover: CPU time limit exceeded, terminating % 84.19/81.49 eprover: CPU time limit exceeded, terminating % 86.14/83.50 eprover: CPU time limit exceeded, terminating % 88.27/85.51 eprover: CPU time limit exceeded, terminating % 90.31/87.52 eprover: CPU time limit exceeded, terminating % 92.35/89.53 eprover: CPU time limit exceeded, terminating % 94.35/91.55 eprover: CPU time limit exceeded, terminating % 96.37/93.56 eprover: CPU time limit exceeded, terminating % 98.39/95.57 eprover: CPU time limit exceeded, terminating % 100.44/97.58 eprover: CPU time limit exceeded, terminating % 102.44/99.59 eprover: CPU time limit exceeded, terminating % 106.45/101.61 eprover: CPU time limit exceeded, terminating % 108.49/103.62 eprover: CPU time limit exceeded, terminating % 110.51/105.63 eprover: CPU time limit exceeded, terminating % 112.52/107.64 eprover: CPU time limit exceeded, terminating % 114.56/109.65 eprover: CPU time limit exceeded, terminating % 116.58/111.67 eprover: CPU time limit exceeded, terminating % 118.67/113.68 eprover: CPU time limit exceeded, terminating % 120.63/115.69 eprover: CPU time limit exceeded, terminating % 122.73/117.70 eprover: CPU time limit exceeded, terminating % 124.76/119.71 eprover: CPU time limit exceeded, terminating % 126.81/121.72 eprover: CPU time limit exceeded, terminating % 128.83/123.74 eprover: CPU time limit exceeded, terminating % 130.86/125.75 eprover: CPU time limit exceeded, terminating % 132.92/127.76 eprover: CPU time limit exceeded, terminating % 134.90/129.77 eprover: CPU time limit exceeded, terminating % 136.98/131.78 eprover: CPU time limit exceeded, terminating % 139.04/133.80 eprover: CPU time limit exceeded, terminating % 141.00/135.81 eprover: CPU time limit exceeded, terminating % 143.10/137.82 eprover: CPU time limit exceeded, terminating % 145.14/139.83 eprover: CPU time limit exceeded, terminating % 147.17/141.84 eprover: CPU time limit exceeded, terminating % 149.18/143.86 eprover: CPU time limit exceeded, terminating % 151.26/145.87 eprover: CPU time limit exceeded, terminating % 153.23/147.88 eprover: CPU time limit exceeded, terminating % 155.31/149.89 eprover: CPU time limit exceeded, terminating % 157.34/151.90 eprover: CPU time limit exceeded, terminating % 159.31/153.92 eprover: CPU time limit exceeded, terminating % 161.41/155.93 eprover: CPU time limit exceeded, terminating % 163.48/157.94 eprover: CPU time limit exceeded, terminating % 165.49/159.95 eprover: CPU time limit exceeded, terminating % 167.53/161.96 eprover: CPU time limit exceeded, terminating % 169.56/163.98 eprover: CPU time limit exceeded, terminating % 171.63/165.99 eprover: CPU time limit exceeded, terminating % 173.60/168.00 eprover: CPU time limit exceeded, terminating % 175.69/170.01 eprover: CPU time limit exceeded, terminating % 177.72/172.02 eprover: CPU time limit exceeded, terminating % 179.74/174.03 eprover: CPU time limit exceeded, terminating % 181.81/176.04 eprover: CPU time limit exceeded, terminating % 183.78/178.05 eprover: CPU time limit exceeded, terminating % 185.84/180.07 eprover: CPU time limit exceeded, terminating % 187.92/182.08 eprover: CPU time limit exceeded, terminating % 189.90/184.09 eprover: CPU time limit exceeded, terminating % 191.98/186.10 eprover: CPU time limit exceeded, terminating % 193.93/188.11 eprover: CPU time limit exceeded, terminating % 196.01/190.12 eprover: CPU time limit exceeded, terminating % 198.08/192.13 eprover: CPU time limit exceeded, terminating % 200.08/194.14 eprover: CPU time limit exceeded, terminating % 202.14/196.15 eprover: CPU time limit exceeded, terminating % 204.12/198.15 eprover: CPU time limit exceeded, terminating % 206.19/200.16 eprover: CPU time limit exceeded, terminating % 208.18/202.17 eprover: CPU time limit exceeded, terminating % 210.24/204.18 eprover: CPU time limit exceeded, terminating % 212.24/206.19 eprover: CPU time limit exceeded, terminating % 214.27/208.20 eprover: CPU time limit exceeded, terminating % 216.35/210.21 eprover: CPU time limit exceeded, terminating % 218.40/212.22 eprover: CPU time limit exceeded, terminating % 220.41/214.23 eprover: CPU time limit exceeded, terminating % 222.46/216.23 eprover: CPU time limit exceeded, terminating % 224.46/218.24 eprover: CPU time limit exceeded, terminating % 226.52/220.25 eprover: CPU time limit exceeded, terminating % 228.51/222.26 eprover: CPU time limit exceeded, terminating % 230.57/224.27 eprover: CPU time limit exceeded, terminating % 232.54/226.28 eprover: CPU time limit exceeded, terminating % 234.66/228.29 eprover: CPU time limit exceeded, terminating % 236.69/230.30 eprover: CPU time limit exceeded, terminating % 238.72/232.31 eprover: CPU time limit exceeded, terminating % 240.77/234.32 eprover: CPU time limit exceeded, terminating % 242.77/236.33 eprover: CPU time limit exceeded, terminating % 244.80/238.34 eprover: CPU time limit exceeded, terminating % 246.81/240.35 eprover: CPU time limit exceeded, terminating % 248.86/242.36 eprover: CPU time limit exceeded, terminating % 250.86/244.37 eprover: CPU time limit exceeded, terminating % 252.86/246.38 eprover: CPU time limit exceeded, terminating % 254.97/248.39 eprover: CPU time limit exceeded, terminating % 256.94/250.40 eprover: CPU time limit exceeded, terminating % 259.02/252.40 eprover: CPU time limit exceeded, terminating % 261.08/254.41 eprover: CPU time limit exceeded, terminating % 263.09/256.42 eprover: CPU time limit exceeded, terminating % 265.11/258.43 eprover: CPU time limit exceeded, terminating % 267.16/260.44 eprover: CPU time limit exceeded, terminating % 269.18/262.45 eprover: CPU time limit exceeded, terminating % 271.18/264.46 eprover: CPU time limit exceeded, terminating % 273.27/266.47 eprover: CPU time limit exceeded, terminating % 275.24/268.48 eprover: CPU time limit exceeded, terminating % 277.32/270.49 eprover: CPU time limit exceeded, terminating % 279.36/272.50 eprover: CPU time limit exceeded, terminating % 281.32/274.51 eprover: CPU time limit exceeded, terminating % 283.41/276.52 eprover: CPU time limit exceeded, terminating % 285.43/278.53 eprover: CPU time limit exceeded, terminating % 287.43/280.54 eprover: CPU time limit exceeded, terminating % 289.49/282.55 eprover: CPU time limit exceeded, terminating % 291.52/284.56 eprover: CPU time limit exceeded, terminating % 293.52/286.57 eprover: CPU time limit exceeded, terminating % 295.59/288.57 eprover: CPU time limit exceeded, terminating % 297.65/290.58 eprover: CPU time limit exceeded, terminating % 299.62/292.59 eprover: CPU time limit exceeded, terminating % 300.34/293.23 eprover: CPU time limit exceeded, terminating % 300.34/293.25 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------